OCL(Object Constraint Language)において、コレクション内の全ての要素が条件を満たすかどうかを確認する操作はどれか。

forAllは、コレクションの全ての要素が指定された論理式(条件)を満たす場合にtrueを返す。existsは少なくとも1つ満たす場合にtrue。