[′kwō·shənt ‚spās] (mathematics) The topological space Y which is the set of equivalence classes relative to some given equivalence relation on a given topological space X ; the topology of Y is canonically constructed from that of X. Also known as factor space.