OCLにおいて、コレクション「s」に重複する要素が存在しないことを「isUnique」以外で判定する正しい式はどれか。

Setに変換した際にサイズが変わらない、または型変換後に内容が等しければ重複はないと言える。