クラス図における「汎化セット（Generalization Set）」の制約 `{complete}` が意味するものはどれか。

2026年1月25日

{complete} は、その汎化セットにおいて、スーパータイプのすべてのインスタンスが、いずれかのサブタイプのインスタンスであることを保証する（抽象度が高い言い方では、分類が網羅されている）。