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