initial topologies