ただし、「意味論」 とは、数学 （数学基礎論） では──たとえば、代数系では──、「1 対 1」 対応を前提にして、「真とされる値が充足される」 ことを云いますが、事業構造を対象とした モデル では、その 「真」 を実現する 「（取引上の） 制約束縛」 が論点となることは すでに述べたとおりです。事業構造を対象にした モデル では、次の 2点が モデルの 「完全性 （構文論的な無矛盾性）」 「健全性 （意味論的な真）」 を満たす要件です──「『関係』 の網羅性」 と 「『制約束縛』 の網羅性」。この 2点を べつの ことば で云うと、「妥当な構造」と 「真とされる値の充足」 であり、さらに端的に言えば、「L-真」（導出的な真） と 「F-真」（事実的な真） ということです。なお、事業構造を対象にした モデル において、準同型とは、たとえば 「null を認める」 ということ。 □