theorem :: JORDAN21:10

for A being Subset of the carrier of (TOP-REAL 2) holds UBD A misses A