for GX being TopSpace
for A being Subset of GX st A is a_component holds
A is closed ;