Given a topological space and a surjection from to a set , we can use the topology on to define a topology on . This topology on identifies points in through the function . The resulting function on is called a quotient topology. The quotient topology gives us a way of creating a topological space which models gluing and collapsing parts of a topological space.