theorem :: ISOMICHI:28

for A being Subset of R^1
for a, b being Real st A = RAT (a,b) holds
Int A = {}