theorem Th11: :: JORDAN2C:20

for n being Nat
for A being Subset of (TOP-REAL n) holds BDD A is a_union_of_components of (TOP-REAL n) | (A `)