OCLにおいて、2つのコレクションが「共通の要素を1つも持たない」ことを確認する式はどれか。

積集合が空であること、またはexcludesAll演算子を使用することで互いに素であることを確認できる。