for A being Subset of (TOP-REAL 2) st A is bounded & A is Jordan holds
BDD A is_inside_component_of A