Universal Property of the Quotient Space