talk:>>465 X上の同値関係~を、x~y⇔f(x)=f(y)として定義して、f2:X/~→Yを、f2(W)をWの元xに対してf(x)と定義すると、f2はwell-defined で、全単射になる。