generated at
代表元

商集合S/\sim の元Cに対してx\in CとなるSの元
独立してない元は全員、代表元
「代表」というほど、代表でもない感じするmrsekut
逆に言えば、独立してる元は代表元ではない