後置條件

在計算機編程中 ， 後置條件指在執行一段代碼後必須成立的條件或謂詞 。 例如 ， 階乘的結果應該是大於等於1的整數 。