theorem Th12: :: JORDAN2C:21

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