クラスの操作(Operation)における「事後条件(Post-condition)」は、どの要素としてモデル化されるか。

事前・事後条件は、Operationに対する `Constraint` 要素として定義され、ステレオタイプ `<>` や `<>` が付与されることがある。