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

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