2022-11-17

ジュリアンの森

定理解説

ジュリアン・ローゼン（Julian Rosen）という数学者がいます。

私は博士後期課程のとき、ジュリアンが導入したある数学的対象に着目しました。そして、彼の研究には含まれない結果を発見・証明することができ、それが私の博士論文につながりました。

その後、その対象に関する論文は幾つも現れていますが、国内で最初にそれに関する仕事をできたことは私にとって幸運でした（ジュリアンの仕事の存在自体はSさんに教えていただきいました）。

他にもジュリアンは面白い仕事をしており、私は彼の影響をとても受けています。

さて、最近になってジュリアンはまた面白い論文[R]を書いていました。それを紹介することがこの記事の目的であります。

数直線をティーることはできない
平面はティーることができる
数直線をティーることはできないことの証明
平面をティーることができることの証明（定理３への帰着）
平面をティーることができることの証明（定理３の証明）
参考文献

数直線をティーることはできない

数直線上の点の上にティー（アルファベットのT）を生やしましょう。

ここで、ティーとは２つの線分を合わせた（数学的には合併をとった集合を意味します）もので、１つは考えている数直線に垂直な線分で（こちらをベースとよびます）、ベースの片方の端点は数直線上にあるものとします。また、もう１つは考えている数直線と平行な線分で（よって、ベースとは垂直であり、こちらをトップとよびます）、ベースのさっきとは反対側の端点がトップの中点であるとします。

ベースとトップの長さは正の実数であればどんなものを考えてもよいものとし、特にベースとトップの長さが等しい必要はありません。

数直線上の複数の点上にティーを生やすことを考えましょう。このとき、各ティーは同一半平面上にある状況を考えることにします。

数直線 $\mathbb{R}$ の部分集合 $S$ に対して、「 $S$ をティーる」とは、「相異なる２点 $p, q \in S$ に対して $p$ 上に生えているティーと $q$ 上に生えているティーが互いに交わらない（集合として共通部分が空集合となること）ように、各点 $p \in S$ 上にティーを１つずつ生やすこと」とします。

$S$ が有限集合であれば明らかにいつでもティーることができて、例えば「例１」の図は青い５つの点のなす集合を $S$ としたときに、 $S$ をティーった例になっています。

次の図は（実際は既に見たようにティーることができるんだけれども）ティーることに失敗した例です。

ここで問いたいことは「数直線 $\mathbb{R}$ はティーることができるか？」というものです。

次が答えです。

定理１ $\mathbb{R}$ をティーることはできない。

平面はティーることができる

前節の問題の２次元版を考えてみましょう。つまり、平面上の点の上にティーを生やします。

ティーは２つの線分を合わせたもので、１つは考えている平面に垂直な線分で（ベース）、ベースの片方の端点は平面上にあるものとします。また、もう１つはベースと垂直な線分で（トップ）、ベースのさっきとは反対側の端点がトップの中点であるとします。

１次元のときとの違いは、トップは考えている平面と平行な線分ですが、色々な向きを考えることができます。

平面上の複数の点上にティーを生やすことを考えましょう。このとき、各ティーは同一半空間上にある状況を考えることにします。

平面 $\mathbb{R}^2$ の部分集合 $S$ に対して、「 $S$ をティーる」とは、１次元のときと同様に、「相異なる２点 $p, q \in S$ に対して $p$ 上に生えているティーと $q$ 上に生えているティーが互いに交わらないように、各点 $p \in S$ 上にティーを１つずつ生やすこと」とします。

数直線 $\mathbb{R}$ はティーることができませんでしたが、平面 $\mathbb{R}^2$ もティーることはできないのでしょうか？

ジュリアンは次を証明しました。

定理２ $\mathbb{R}^2$ をティーることができる。

数直線をティーることはできないことの証明

この節では定理１を証明します。

$S$ を $\mathbb{R}$ の部分集合とし、 $S$ をティーることができたと仮定します。このとき、 $S$ は高々可算であることを示しましょう。そのことが示されれば、もちろん $\mathbb{R}$ はティーることができないとわかります。

$S$ をティーった際の各 $p\in S$ 上に生えているティーを $T_p$ と表すことにします。

そして、各 $p\in S$ に対して、 $T_p$ のトップを数直線上に射影した線分上の有理数 $a_p, b_p$ を、 $p \in (a_p, b_p)$ を満たすように１組選びます（ $(a_p, b_p)$ は開区間の記号です）。

ここで、写像 $\iota\colon S\to \mathbb{Q}\times \mathbb{Q}$ を $\iota(p):= (a_p,b_p)$ で定義しましょう*1（ $\iota$ はギリシア文字の「イオタ」です）。

写像 $\iota$ が単射であれば証明完了です。というのも、集合の濃度を絶対値記号で表すことにすると、 $|S|\leq |\mathbb{Q}\times \mathbb{Q}|=|\mathbb{N}|$ が得られ、 $S$ は高々可算ということになるからです。

$\iota$ が単射であることを示すために、相異なる２点 $p, q\in S$ （ $p < q$ と大小関係を付けておきます）が存在して、 $\iota(p)=\iota(q)$ が成り立つ状況があると仮定しましょう（背理法による証明）。

このとき、 $a_p=a_q=a$ , $b_p=b_q=b$ とおくと、図のような状況になって、 $T_p$ と $T_q$ は必ず交わることがわかります。

ポイントは $T_p$ のトップと $T_q$ のトップはともに赤い線分は含むだけ長くないといけないことです。図では $T_p$ のベースが $T_q$ のベースより長くなっていますが、他のケースでも変わりません。

というわけで、今は $S$ をティーっていたわけですから $T_p\cap T_q=\varnothing$ のはずで、これは矛盾です。よって、 $\iota$ は単射であり、その結果、定理１が証明されました。

平面をティーることができることの証明（定理３への帰着）

ジュリアンによる定理２の証明は次の定理３に基づきます。

定理３ 以下の条件を満たすような $\mathbb{R}^2$ 上の整列順序*2 $\precsim$ 、正の実数の族 $(h_p)_{p\in \mathbb{R}^2}$ および平面内の直線の族 $(\ell_p)_{p\in\mathbb{R}^2}$ が存在する：

直線 $\ell_p$ は $p$ を通る。
$p, q\in\mathbb{R}^2$ が $p\prec q$ を満たすならば、 $p\not\in \ell_q$ かつ $h_p\neq h_q$ である。
$p, q\in\mathbb{R}^2$ が $p\prec q$ および $q\in \ell_p$ を満たすならば、 $h_p > h_q$ である。

ただし、 $p\prec q$ は「 $p\precsim q$ かつ $p\neq q$ 」を意味するものとする。

この定理３で存在する $(h_p)_{p\in \mathbb{R}^2}$ および $(\ell_p)_{p\in\mathbb{R}^2}$ を用いれば、以下に説明するように $\mathbb{R}^2$ をティーることができます。むしろ、定理２より強く、ティーる際の各点上のティーのトップの長さは好きに選んでよいことまで証明できます。

一方で、定理３の証明は整列可能定理および（それと同値な）ツォルンの補題（これらは選択公理と同値です）を用いる非構成的な証明であり、従って、 $\mathbb{R}^2$ をティーる方法も非構成的となります*3。

定理３の証明は次の節にまわして、ここでは一旦成立を認めることにしましょう。

各点 $p\in \mathbb{R}^2$ に対して、 $p$ 上にティー $T_p$ を次のように生やします（ $\mathrm{base}(T_p)$ , $\mathrm{top}(T_p)$ でそれぞれ $T_p$ のベースおよびトップを表すことにします）：

$\mathrm{base}(T_p)$ は長さ $h_p$ 。
$\mathrm{top}(T_p)$ は平面への射影が直線 $\ell_p$ に含まれるようなものであり、長さはあなたの好きな正の実数。

この構成で $\mathbb{R}^2$ をティーることができています。それを確かめるには、相異なる２点 $p, q\in \mathbb{R}^2$ を任意にとって、 $T_p\cap T_q=\varnothing$ を示せばよいです。そのためには、

$\displaystyle T_p=\mathrm{base}(T_p)\cup \mathrm{top}(T_p),\quad T_q=\mathrm{base}(T_q)\cup \mathrm{top}(T_q)$

なので、

$\begin{align}&\mathrm{base}(T_p)\cap \mathrm{base}(T_q)=\varnothing,\\ &\mathrm{top}(T_p)\cap \mathrm{top}(T_q)=\varnothing,\\ &\mathrm{base}(T_p)\cap \mathrm{top}(T_q)=\varnothing,\\ &\mathrm{top}(T_p)\cap \mathrm{base}(T_q)=\varnothing \end{align}$

を示せばよいです*4。

$\precsim$ が整列順序（特に全順序）であることから、 $p\prec q$ と仮定しても一般性を失いません。
また、 $\mathrm{base}(T_p)\cap \mathrm{base}(T_q)=\varnothing$ は明らかです。

今、定理３によって $h_p\neq h_q$ なので、 $\mathrm{top}(T_p)\cap \mathrm{top}(T_q)=\varnothing$ がわかります。

また、 $p\not\in\ell_q$ なので、 $\mathrm{base}(T_p)\cap \mathrm{top}(T_q)=\varnothing$ がわかります。

$p\not\in\ell_q$ であれば、 $\mathrm{base}(T_p)\cap\mathrm{top}(T_q)=\varnothing$

今の設定で、 $q\not\in\ell_p$ か $q\in\ell_p$ かはわかりませんが、場合分けをしましょう。 $q\not\in\ell_p$ であれば直前の議論と同様に $\mathrm{top}(T_p)\cap \mathrm{base}(T_q)=\varnothing$ がわかります。よって、 $q\in\ell_p$ の場合を考えましょう。

このとき、定理３によって $h_p > h_q$ が成り立ちますので、やはり $\mathrm{top}(T_p)\cap \mathrm{base}(T_q)=\varnothing$ が成り立ちます（もし $h_p\leq h_q$ なら交わるかもしれません）。

$h_p > h_q$ であれば $\mathrm{top}(T_p)$ は $\mathrm{base}(T_q)$ よりも高い位置にある

これで示すべきだったことが全て確認できました。

平面をティーることができることの証明（定理３の証明）

定理２の証明を完了させるためには、定理３の証明が残っています。適切な $\mathbb{R}^2$ 上の整列順序の存在を示す必要がありますが、とりあえず何かしらの $\mathbb{R}^2$ 上の整列順序が存在することは次の定理からわかります。

整列可能定理 任意の集合 $X$ に対して、 $X$ 上の整列順序が存在する。

ですが、今回の証明では何でもよいわけではありません。

集合論から必要な知識を幾つか思い出しながら議論していきます。

ベルンシュタインの定理 集合 $A$ , $B$ の濃度について、 $|A|\leq |B|$ かつ $|B|\leq |A|$ であれば、 $|A|=|B|$ が成り立つ。

事実１ 任意の無限集合 $A$ に対して、 $|A|+|A|=|A|$ および $|A\times A|=|A|$ が成り立つ*5。

事実２ 任意の整列集合*6に対して、それと順序同型な順序数*7が一意的に存在する。

事実３ 順序数全体のクラスの空でない部分クラスは最小元を持つ*8。

$\mathbb{R}^2$ 上の整列順序に事実２によって対応する順序数全体のなすクラスを $N$ とします。このとき、整列可能定理によって $N$ は空ではありません。よって、事実３によって $N$ は最小元を持ちます。その最小の順序数に対応する $\mathbb{R}^2$ 上の整列順序を $\precsim$ と表すことにします。

このように順序を選ぶ理由は、次の補題を使いたいからです。

定義 $\mathbb{R}^2$ の部分集合 $S$ が $\mathbb{R}^2$ の切片*9であるとは、ある $p \in \mathbb{R}^2$ が存在して、

$S=\mathbb{R}^2\langle p\rangle :=\{q\in \mathbb{R}^2 \mid q\prec p\}$

が成り立つときをいう。

補題 $\mathbb{R}^2$ の切片の濃度は $|\mathbb{R}|$ より真に小さい。

補題の証明. 背理法によって証明するために、 $\mathbb{R}^2$ の切片 $S$ に対して $|S|\geq |\mathbb{R}|$ を仮定する。このとき、ベルンシュタインの定理および事実１から $|S|=|\mathbb{R}^2|$ が成り立つ。これは整列集合 $(S,\precsim)$ と順序同型な $\mathbb{R}^2$ 上の整列順序の存在を示す。
整列集合 $(\mathbb{R}^2,\precsim)$ に事実２によって対応する順序数を $\alpha$ とするとき、 $(\mathbb{R}^2,\precsim)$ と $\alpha$ の間の順序同型によって $S$ に対応する $\alpha$ の切片を $\beta$ とすると、順序数の性質*10から $\beta\in\alpha$ となって、 $\beta$ は $\alpha$ より小さい。一方、背理法の仮定から $\beta$ は $N$ に属するので、 $\alpha$ の最小性に反する。 Q. E. D.

それでは適切な整列順序は定まったため、定理３で要求される $(h_p)_{p\in \mathbb{R}^2}$ および $(\ell_p)_{p\in\mathbb{R}^2}$ の存在性を示しましょう。それはある順序集合を定義し、その集合にツォルンの補題を適用して、存在する極大元から手に入れるという形で実行されます。

集合 $\mathcal{C}$ を次のように定義します。

$\displaystyle \mathcal{C}:=\{(S,\{(h_p,\ell_p) \mid p\in S\}) \ \mid$ 1.から5.の条件を満たす $\}$

少しみにくいですが、集合 $S$ と集合 $\{(h_p,\ell_p) \mid p\in S\}$ のペアであって、以下の1.から5.の条件を満たすもの全体の集合です。

$S$ は $\mathbb{R}^2$ の切片または $\mathbb{R}^2$ 。
任意の $p\in S$ に対して、 $h_p$ は正の実数であり、 $\ell_p\subset\mathbb{R}^2$ は $p$ を通る直線。
$q\in S$ , $p\prec q$ ならば $p\not\in\ell_q$ かつ $h_p\neq h_q$ 。
$q\in S$ , $p\prec q$ かつ $q\in \ell_p$ ならば $h_p > h_q$ 。
任意の $q\in\mathbb{R}^2$ に対して、 $|\{p\in S\setminus \{q\} \mid q\in\ell_p\}| \leq 2$ が成り立つ。

また、 $\mathcal{C}$ 上の半順序をペア $(S,\{(h_p,\ell_p) \mid p\in S\})$ のそれぞれの成分についての包含関係によって定めます*11。

なお、 $\mathcal{C}$ には自明な元 $(\varnothing, \varnothing)$ が属することはすぐにわかります*12。
ここでツォルンの補題を思い出しましょう。

ツォルンの補題 $X$ を順序集合とする。このとき、 $X$ の任意の全順序部分集合が上界を持つならば、 $X$ は極大元を持つ。

先ほどの半順序により順序集合とみた $\mathcal{C}$ はツォルンの補題の条件を満たします。

満たすことのチェック

よって、ツォルンの補題によって $\mathcal{C}$ は極大元を持ち、それを１つとって、改めて $(S,\{(h_p,\ell_p) \mid p\in S\})$ と表すことにしましょう。

主張 $S=\mathbb{R}^2$ が成り立つ。

主張の証明. $S\neq \mathbb{R}^2$ を仮定すると、 $S$ は $\mathbb{R}^2$ の切片である。このとき、 $p_0\in\mathbb{R}^2$ が存在して、 $S=\mathbb{R}^2\langle p_0\rangle$ が成り立つ。以下、

$\displaystyle (S\cup \{p_0\}, \{(h_p, \ell_p) \mid p\in S\cup \{p_0\}\}) \in \mathcal{C}$

が満たされるような $h_{p_0}$ , $\ell_{p_0}$ が存在することを論証したい。それが言えれば、 $(S,\{(h_p,\ell_p) \mid p\in S\})$ の極大性に矛盾し、背理法によって $S=\mathbb{R}^2$ が従うのだ。

$p_0$ を通る $\mathbb{R}^2$ 内の直線全体の集合を $L_{p_0}$ と表し、その部分集合を

$\begin{align} L_{p_0}^{(1)}&:=\{\ell \in L_{p_0} \mid \ell \cap S\neq \varnothing\},\\ L_{p_0}^{(2)}&:=\{\ell \in L_{p_0} \mid \exists p, q\in S, p\neq q, p_0\not\in\ell_p\cap\ell_q, \ell \cap \ell_p \cap \ell_q \neq \varnothing\}\end{align}$

と定める。すると、 $|L_{p_0}^{(1)}|\leq |S|$ が成り立つ*14。また、 $S$ を無限集合と仮定して、事実１より $|L_{p_0}^{(2)}|\leq |S\times S|=|S|$ が成り立つ*15。

よって、事実１および補題より $|L_{p_0}^{(1)}\cup L_{p_0}^{(2)}|\leq|S|+|S|=|S|<|\mathbb{R}|$ と評価できる。

一方、 $|L_{p_0}|=|\mathbb{R}|$ が成り立つ（直線を $\mathbb{R}^2$ 内で考えているから！）。従って、 $L_{p_0}\setminus (L_{p_0}^{(1)}\cup L_{p_0}^{(2)})$ は空集合ではなく、そこに属する元を１つとって、 $\ell_{p_0}$ と定める。 $S$ が有限集合のときも $|S\times S|=|S|^2$ となったりするだけで全く同様に $\ell_{p_0}$ を選べる。

$S$ に対する5.より $|\{h_p \mid p\in S, p_0\in \ell_p\}|\leq 2$ であるため、 $\{h_p \mid p\in S, p_0\in \ell_p\}$ が空集合でない場合は通常の大小関係に関する最小元が存在する（ $m$ としよう）。 $\{h_p \mid p \in S\}$ （この集合の濃度は補題より $|\mathbb{R}|$ より真に小さい）に属さない正の実数であって、 $m$ より小さいものを１つ選んで $h_{p_0}$ とせよ。 $m$ が存在しない場合（先の集合が空集合の場合）は単に $\{h_p \mid p \in S\}$ に属さない正の実数であればよい*16。

これで $h_{p_0}$ , $\ell_{p_0}$ が選べたので、後は $S\cup \{p_0\}$ に対して1.から5.の条件が満たされていることを確認すればよい。

1.のチェック。 $S\cup\{p_0\}$ が $\mathbb{R}^2$ でなければ、 $\{p\in \mathbb{R}^2 \mid p_0\prec p\}$ は空集合でないので、整列性から最小元 $p_1$ をもつ。このとき、 $S\cup\{p_0\}=\mathbb{R}^2\langle p_1\rangle$ が成り立つ。

2.のチェック。 $h_{p_0}$ は正の実数としてとったし、 $\ell_{p_0}\subset\mathbb{R}^2$ も $p_0$ を通る直線としてとった。

3.のチェック。 $p\in S$ （ $p\prec p_0$ ）に対して、 $p\not\in\ell_{p_0}$ かつ $h_p\neq h_{p_0}$ であればよい。これは、 $\ell_{p_0}\not\in L_{p_0}^{(1)}$ および $h_{p_0}\not\in\{h_p \mid p \in S\}$ から従う。

4.のチェック。 $p\in S$ （ $p\prec p_0$ ）かつ $p_0\in \ell_p$ のときに、 $h_p > h_{p_0}$ であればよい。 $\{h_p \mid p\in S, p_0\in \ell_p\}$ が空集合であれば自明であるし、空集合でなければ、 $h_p > h_{p_0}$ となるようにとったのであった。

5.のチェック。任意の $q\in\mathbb{R}^2$ に対して、 $|\{p\in (S\cup\{p_0\})\setminus \{q\} \mid q\in\ell_p\}| \leq 2$ を示したい。 $q=p_0$ または $q\not\in\ell_{p_0}$ の場合は $\{p\in (S\cup\{p_0\})\setminus \{q\} \mid q\in\ell_p\}=\{p\in S\setminus \{q\} \mid q\in\ell_p\}$ が成り立つので、 $S$ に対する5.から従う。 $q\neq p_0$ かつ $q\in \ell_{p_0}$ の場合、 $\{p\in (S\cup\{p_0\})\setminus \{q\} \mid q\in\ell_p\}=\{p\in S\setminus \{q\} \mid q\in\ell_p\}\cup\{p_0\}$ なので、 $\{p\in S\setminus \{q\} \mid q\in\ell_p\}$ が高々1元集合であることを示せばよい。もし、 $p_1\neq p_2$ で、 $p_1, p_2\in \{p\in S\setminus \{q\} \mid q\in\ell_p\}$ が成り立つならば、 $q\in \ell_{p_0}\cap \ell_{p_1}\cap \ell_{p_2}$ となる。これは $\ell_{p_0}\not\in L_{p_0}^{(2)}$ ととっていたことに矛盾する。 Q. E. D.

以上で主張が示されたため、 $(\mathbb{R}^2,\{(h_p,\ell_p) \mid p\in \mathbb{R}^2\})\in \mathcal{C}$ が得られました。このとき、 $(h_p)_{p\in \mathbb{R}^2}$ および $(\ell_p)_{p\in\mathbb{R}^2}$ は定理３の条件を満たしています（大事なのは3.と4.です）。

というわけで、定理３の証明が完了した結果、前節の議論と合わせて定理２の証明も完了しました。ジュリアンの論文においては、 $n\geq 2$ であればいつでも $\mathbb{R}^n$ をティーることができるということが書かれています（証明は同じです）。他にもヴィーることやオーることについての言及があります。

参考文献

J. Rosen, How to tee a hyperplane, Amer. Math. Monthly 129, 781−784.

*1:ここの $(a_p,b_p)$ は開区間の記号ではなく、直積集合の元（順序対）としての記号です。

*2:任意の空でない部分集合が最小元を持つような順序を整列順序といいます。任意の2元部分集合も最小元を持つことから、整列順序は必ず全順序です。

*3:タイトルの「ジュリアンの森」は $\mathbb{R}^2$ をティーった姿（数学的にはティーの族 $(T_p)_{p\in \mathbb{R}^2}$ ）のことを指しているつもりですが、ジュリアンの森は存在するのですが、具体的にどのようなものであるかはこの証明からはわかりません。

*4: $T_p\cap T_q=\left(\mathrm{base}(T_p)\cap \mathrm{base}(T_q)\right)\cup\left(\mathrm{top}(T_p)\cap \mathrm{top}(T_q)\right)\cup\left(\mathrm{base}(T_p)\cap \mathrm{top}(T_q)\right)\cup\left(\mathrm{top}(T_p)\cap \mathrm{base}(T_q)\right)$ だからです。

*5:ここでは既に選択公理は仮定されていることに注意しておきます。

*6:順序集合であって、付随する順序が整列順序になっているもののこと。

*7:定義は割愛します（ $\in$ が非反射的な整列順序であるような推移的集合）。

*8:順序数 $\alpha$ , $\beta$ の大小関係は $\alpha < \beta \Longleftrightarrow \alpha\in\beta$ で定まります。

*9:一般の整列集合に対しても全く同様に切片が定義できます。

*10: $\alpha\langle\beta\rangle=\beta$ .

*11:つまり、２つのペアを $(S_1, X_1)$ , $(S_2, X_2)$ と略記するとき、関係 $(S_1, X_1) \ll (S_2, X_2)$ を $S_1\subset S_2$ かつ $X_1\subset X_2$ によって定めます。

*12:整列集合 $(\mathbb{R}^2,\precsim)$ には最小限が存在するので、それを $m$ とおけば、 $\mathbb{R}^2\langle m\rangle = \varnothing$ がわかります。つまり、空集合は $\mathbb{R}^2$ の切片です。

*13:本当は「ペア $(S_{\lambda},\{(h_p,\ell_p) \mid p\in S_{\lambda}\})$ 」と言うべき。以下も同様の省略表現を用いる。

*14: $L_{p_0}^{(1)}$ から $S$ への写像を直線 $\ell$ の像を $\ell\cap S$ に属する何かしらの元として定めると、これは単射である。

*15: $L_{p_0}^{(2)}$ から $S\times S$ への写像を直線 $\ell$ の像を $\ell \cap \ell_p \cap \ell_q \neq \varnothing$ および $p\prec q$ , $p_0\not\in\ell_p\cap \ell_q$ を満たす $(p, q)$ （何かしら１組とる）として定めると、 $S$ に対する条件3.から $p\not\in\ell_q$ なので特に $\ell_p\neq \ell_q$ であり、よって、 $\ell \cap \ell_p \cap \ell_q$ は $\ell_p$ と $\ell_q$ の交点（それは $p_0$ ではない）からなる1元集合である。よって、この写像は単射である（ $p_0$ とそれ以外の点を結ぶ直線は１つしか存在しない）。

*16:定理３には5.に対応する条件が現れていないですが、実のところ、5.はここで $h_{p_0}$ をとる際に $\{h_p \mid p\in S, p_0\in \ell_p\}$ が有限集合であって欲しいために用意された条件だと思います（空でない有限集合は必ず最小元を持つ）。ただ、5.で考える集合が高々1元集合であると要請することは一般には不可能なことがわかりますので、高々2元集合としているのだと思います。

INTEGERS

数、特に整数に関する記事。