theorem :: TOPGEN_1:50

for A being Subset of R^1 st A = IRRAT holds
Int A = {}