for GX being non empty TopSpace
for A being Subset of GX st A is a_component holds
Component_of A = A