>>158
X/~の(完全)代表系⊂X