postcondition

== English == === Alternative forms === post-condition === Etymology === From post- +‎ condition. === Noun === postcondition (plural postconditions) (programming) A condition that must be met immediately after execution of some piece of code. Antonym: precondition ==== Derived terms ====