for T being TopSpace holds the topology of T = UniCl the topology of T