Noun
postcondition (plural postconditions)
English Wikipedia has an article on:postconditionWikipedia
(programming) A condition that must be met immediately after execution of some piece of code.
For example, an exception occurs when a routine's caller fails to satisfy a precondition, or when a routine cannot ensure a promised postcondition. Source: Internet
For example, an addition may produce an arithmetic overflow (it does not fulfill its contract of computing a good approximation to the mathematical sum); or a routine may fail to meet its postcondition. Source: Internet
In this example, the postcondition guarantees, in cases in which the precondition holds (i. Source: Internet