Factor-space definition

(topology, idiomatic) A space obtained from another by identification of points that are equivalent to one another in some equivalence relation.

(topology, literally relatively rare) A space which is a factor (multiplicand) in a product space.