（1） 構文論的に証明できる （「妥当な」 構造である、L-真）

　　（2） 意味論的に成り立つ　（「真とされる値」 が充足される、F-真）

　「関係」 の網羅性および 「制約束縛」 の網羅性は、L-真および F-真を実現するための技術的要件です。すなわち、「関係」 の網羅性を実現していなければ L-真は満たされないし、「制約束縛」 の網羅性を実現していなければ F-真は満たされないということです。当たり前と言えば当たり前のことですが、作成された モデル の 「完全性」 を証明してくださいと問われたときに、果たして それを証明できるかどうか疑わしいような モデル らしき図 （？） を私は数多く観てきました （苦笑）。

　「関係」 の網羅性は、論理規則から演繹的に導くことができます。しかし、「制約束縛」 の網羅性は、論理規則から導くことができない。というのは、「制約束縛」 というのは、取引に付帯しているので、取引を実施するときの いわゆる 「ビジネス・ルール」 を洗いださなければならないので。ただ、いずれの網羅性も検出する技術は確立されています （第11章で述べます）。