for A, B being Subset of (TOP-REAL 2) st A meets B holds
proj2 .: A meets proj2 .: B