for a being set holds the topology of (1TopSp a) = bool a ;