Definition of "postcondition"

postcondition