for GX being non empty TopSpace
for x being Point of GX holds x in Component_of x