let A, B be Subset of (TOP-REAL 2); :: thesis: ( A is_outside_component_of B implies BDD B misses A )
assume A1: A is_outside_component_of B ; :: thesis: BDD B misses A
BDD B misses UBD B by JORDAN2C:24;
hence BDD B misses A by A1, JORDAN2C:23, XBOOLE_1:63; :: thesis: verum