theorem
  for A being Subset of the carrier of TOP-REAL 2 holds UBD A misses A
proof
  let A be Subset of the carrier of TOP-REAL 2;
  UBD A c= A` by JORDAN2C:26;
  hence thesis by XBOOLE_1:63,79;
end;
