for GX being non empty TopSpace
for A being Subset of GX st A is a_component holds
A <> {} GX ;