finite_topology
