Логическое выражение, задающее, одно или несколько условий, которые должны быть соблюдены каждый раз конкретной точки в цикле программы выполняется.