theorem :: JORDAN1A:7

for D being Subset of (TOP-REAL 2) holds BDD D misses D