theorem Th6: :: JORDAN1K:6

for T being TopSpace
for A being Subset of T holds
( A is_a_component_of {} T iff A is empty )