16/01/29 22:11:47.32 NAQZPitt.net
＜定理１＞同値類は、しっぽの箱（この場合第６番目）で決まる。
（例えば、１列目は、しっぽ６の同値類に属するとすべき。例えば、６の一つ前の５を入れて、しっぽ“５，６”の数列に属すると考えることもできるが、そうすると、“５，６”と“６”の二つの同値類に属することになり代表や決定番号が一意ではなくなり、well-definedではない。
だから、しっぽの最後の箱で同値類がきまるとすべき。つまり、最大の同値類を考えることになる。）
16/01/29 22:11:47.32 NAQZPitt.net
＜定理１＞同値類は、しっぽの箱（この場合第６番目）で決まる。
（例えば、１列目は、しっぽ６の同値類に属するとすべき。例えば、６の一つ前の５を入れて、しっぽ“５，６”の数列に属すると考えることもできるが、そうすると、“５，６”と“６”の二つの同値類に属することになり代表や決定番号が一意ではなくなり、well-definedではない。
だから、しっぽの最後の箱で同値類がきまるとすべき。つまり、最大の同値類を考えることになる。）