Quotient topology/Definition

The finest topology on the image set that makes a surjective map from a topological space continuous.