カントールの往復論法
i を、B の如何なる要素とも対応付けられていない ai であって、かつ bj が ai と対応付けても、対応付けが狭義単調であるという要件を満たすことができるものとする。 このとき、bj と ai を対応付ける。
(3) 手続き (1) に戻る。
手続き (1) と (2) で要求される選択を、実際に要件に合致しつつ行うことができるかの検証が、依然として残っている。 手続き (1) を例に取ると、以下のとおりである。
既に、A の中の ap と aq および夫々に対応する B の中の bp と bq が存在し、かつ ap < ai < aq および bp < bq であれば、 bj は、稠密性を使って、 bp と bq の間に選ぶ。 そうでない場合には、B が 最大元も最小元も有しないという性質を使って、適当に大きいまたは小さい B の要素を選ぶ。 手続き (2) の選択も、双対的に可能である。 最後に、A と B は可算無限集合だから、この構成は、可算無限回の後に終了する。 全ての前提条件を使用しなければならないことに注意されたい。
往復せずに手続き (1) を繰り返すだけでは、結果として得られる対応が全単射にならない。