theorem Th15: :: JORDAN2C:24

for n being Nat
for A being Subset of (TOP-REAL n) holds BDD A misses UBD A