for GX being non empty TopSpace holds {} GX is a_union_of_components of GX