theorem Th32: :: TOPGEN_3:32

for X being Subset-Family of REAL st card X in continuum holds
ex x being Real ex q being Rational st
( x < q & not [.x,q.[ in UniCl X )