「再帰」 とは、aRb ──すなわち、R (a, b) ──において、a ＝ b のときの 「関係」 です。言い換えれば、ひとつの集合の 「直積」 です [ たとえば、ひとつの集合を U とすれば、U × U ]。ただし、「直積」 と云っても、ひとつの集合のなかの元をすべて並べるのではなくて、ひとつの集合のなかから元を いくつか選んで並べる関数です。

　「再帰」 の例は、本書 85ページに示した例で充分でしょう （それ以上の説明は要らないでしょう）。ただ、84ページに綴った文のなかで、曖昧な記述があるので、補足します。曖昧な記述は、84ページの最後の段落に綴られている文です。

　　　　取り消す対象になっている 「先行受注」 の番号を、「後続受注」 の属性として記述している実例を見ることがあるが、

　この文で示されている状態を具体的に図示すれば、以下のとおり。

　 ▼ 正しくない状態
　┌─────────────────┐
　│　　　　　　　受注　　　　　　　Ｅ│
　├────────┬────────┤
　│受注番号　　　　│受注日　　　　　│
　│　　　　　　　　│受注数　　　　　│
　│　　　　　　　　│取消受注番号　　│
　│　　　　　　　　│　　　　　　　　│
　│　　　　　　　　│　　　　　　　　│
　└────────┴────────┘

　Null は、充足していない状態を示すので── undefined と unknown の ふたつの状態を示すので──、モデル 上、「F-真」 を問えないので 「妥当ではない」 ということ。 □