for A, B being Subset of (TOP-REAL 2) st A is open & B is_a_component_of A holds
B is open