theorem :: TOPGEN_1:47

for A being Subset of R^1 st A = RAT holds
A ` = IRRAT by BORSUK_5:def 1, TOPMETR:17;