OCLにおいて、コレクションの全要素に対して条件を満たさないものが「1つもない」ことを確認する式はどれか。

これらはすべて論理的に全称修飾(すべての要素がpを満たす)と同等である。