I saw it put nicely somewhere that I can't find "the rational is a subset of the real"