postconditional

Etymology
or

Adjective

 * 1) Relating to a postcondition.