汎化セット（Generalization Set）の制約が `{incomplete, disjoint}` である場合、何を意味するか。

incompleteは「サブクラスリストが不完全（他にもある、または親のままのインスタンスがあり得る）」、disjointは「重複不可（多重継承的な状態にならない）」を意味する。