POSTCONDITION

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