for C being compact Subset of (TOP-REAL 2)
for p being Point of (TOP-REAL 2) st east_halfline p misses C holds
east_halfline p c= UBD C