契約プログラミングの用語

サブルーチンが、終了時に保証すべき性質。

事前条件と異なり、その関数の定義側で要請される性質