consistent topologies., minimum element neighborhood, T0-topologies, topology vector, topology weight.
