The irrationals are those exactly those reals that are a different distance from every rational.
@ColinTheMathmo even more: no integer multiple of a distance to some rational is the same as the distance to another rational.
(I'm not sure I expressed that well...)
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!