postcondition

Постусловие, выходное условие (условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе в нее выполнялось предусловие(precondition); является частью контракта (contract)) постусловие; выходное условие postcondition вчт. постусловие