for P being Subset of (TOP-REAL 2) st P is bounded holds
not UBD P is bounded