UML 2.5において、ある分類子（Classifier）が自身の名前空間で定義された「名前」を持つことを保証するメタクラスはどれか。

OCLにおいて、コレクション「s」の全要素が異なることを確認する「isUnique」を空のコレクションに適用した結果はどれか。