Постусловие (postcondition) — оператор условия, относящийся к точке, находящейся непосредственно за указанным фрагментом программы в последовательности выполнения. Допустимый синоним: Выходное условие.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Постусловие — ограничение, которое должно быть выполнено по завершении операции.
[Язык UML Руководство пользователя. (Электронный ресурс). Режим доступа: http:// bourabai.bladeweb.org›dbt/uml/glossary.htm /, свободный]