Several topologies on one set Generalities mathematics