Quotient Set forms a Partition