for T being TopSpace
for F being Subset-Family of T holds Cl F = Cl (Cl F)