Цикл с предусловием — цикл, который выполняется пока истинно некоторое условие, указанное перед его началом. Это условие проверяется до выполнения тела цикла, поэтому тело, может быть, не выполнено ни разу (если условие с самого начала ложно). В большинстве процедурных языков программирования реализуется оператором while.
[Язык алгоритмический. Глоссарий. (Электронный ресурс). Режим доступа: http:// portal.edu.asu.ru›mod /glossary/view.php…/, свободный.]