let A be Subset of the carrier of (TOP-REAL 2); :: thesis: UBD A misses A
UBD A c= A ` by JORDAN2C:26;
hence UBD A misses A by XBOOLE_1:63, XBOOLE_1:79; :: thesis: verum