postcondition

Noun

 * 1)  A condition that must be met immediately after execution of some piece of code.