Постусловие

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