>>674
その定義はわかります。

でも特にいまカントールがふたつの集合を比べるときに使った関数の話をしている。

ふたつの集合を比べるために一般の関数や>>668みたいな全域化が可能な関数だけを使って比べれば十分なのか？

その範囲だけで対応がみつからないからどちらかがどちらかより真に大きいと結論づけていいのか。