クラス図の汎化セット(Generalization Set)における制約「{complete, disjoint}」の意味はどれか。

completeは「完全(他にサブクラスはない)」、disjointは「排他(複数のサブクラスに同時になれない)」を意味する。