「汎化(Generalization)」関係にあるエンティティ間の制約として、サブタイプの実体が必ずいずれかのスーパータイプに属さなければならない制約を何と呼ぶか。

完全性制約(網羅性制約)。