for T being non empty TopSpace
for P being basis of T holds the topology of T c= UniCl (Int P)