Постусловие
Постусловие (postcondition) — оператор условия, относящийся к точке, находящейся непосредственно за указанным фрагментом программы в последовательности выполнения. Допустимый синоним: Выходное условие. [ГОСТ 33707-2016. (ISO/IEC 2382:2015)