for C being non empty compact Subset of (TOP-REAL 2) holds
( W-min C in C & W-max C in C )