Постусловие: основные понятия и термины

Постусловие - условие, истинность которого проверяется после выполнения тела цикла или процедуры.