Noun
A space obtained from another by identification of points that are equivalent to one another in some equivalence relation.
A space which is a factor (multiplicand) in a product space.