OCLにおいて、コレクション「s」の全要素が「一意（Unique）」であることを確認する演算はどれか。

UML 2.5において、モデル全体やその一部をカプセル化し、再利用可能な単位とするメタクラスはどれか。