例えば
第1列に、πの数値を頭から１桁ずつ、箱につめる
第２列に、π^2の数値を頭から１桁ずつ、箱につめる
・・・・
第ｋ列に、π^ｋの数値を頭から１桁ずつ、箱につめる
・・・・
第100列に、π^100の数値を頭から１桁ずつ、箱につめる

この各列の
１）同値類
２）代表元
３）決定番号
これらを決める手段を、いまの数学は持たない
∵各列は、超越数だから（つまり、”しっぽの先で同値類”という決め方に対し、しっぽの先はいつまでも確定しない）