for GX being non empty TopSpace holds Component_of ({} GX) = the carrier of GX