for P, Q being convex Subset of (TOP-REAL 2) holds P /\ Q is convex