OCLにおいて、コレクション `c` が空でないことを確認するための最も簡潔な式はどれか。

`notEmpty()` 操作は、コレクションが空でない場合にtrueを返す専用の操作であり、可読性が高い。