OCLにおいて、コレクションの全要素が特定の条件を満たしていることを確認する操作はどれか。

forAll操作は、コレクション内のすべての要素が指定されたブール式に対して真であることを検証する。