α∈B と β∈B の間に
「α_k ≠ β_k なる自然数kは有限個」
という同値関係（α〜β）を設定すればいいのか