theorem Th49: :: SURREALN:49

for r being Real holds born (sReal . r) c= omega