[mystified5016]

These are properly called "ganged switches" in the physical world.

And yes, radio buttons got their name from the push-button ganged switches that were ubiquitous on pre-digital radios.