決定番号
同じ同値類の2つの元には決定番号がある。尻尾同値類の定義から明らか。
異なる同値類の2つの元には決定番号が存在しない。ここがポイント