постусловие; выходное условие. В доказательстве правильности программ и аксиоматической семантике языков программирования - логическое выражение, которое должно быть истинно после выполнения некоторого действия, если перед выполнением этого действия было истинно соответствующее предусловие (precondition).
POSTCONDITION
Англо-русский перевод POSTCONDITION
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012