Quotient set. And fundamental operation of quotient set

• 商集与商集的基本运算