事後条件

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