Definition:Generated Topology