UMLのメタモデルで、実行時のオブジェクトの状態をモデル化するために使用されるものはどれか。

OCLにおいて、2つのコレクションが全く同じ要素を同じ順序で持っているか判定する演算はどれか。