for X, Y being non empty TopSpace
for x being Point of X holds [:(X | {x}),Y:],Y are_homeomorphic