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 ubiquit

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.