theorem :: YELLOW13:26

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