Induced topology


induced topology is a topology.