let D be Subset of (TOP-REAL 2); :: thesis: BDD D misses D
D misses D ` by SUBSET_1:24;
hence BDD D misses D by JORDAN2C:25, XBOOLE_1:63; :: thesis: verum