The codomain of the Canonical projection
Often we define quotients of spaces (sets with extra structure).
An example is the Quotient group