Ein logischer Ausdruck, der angibt, dass eine oder mehrere Bedingungen, die sein muss jedes Mal eine bestimmte Stelle in einer Programmschleife erfüllt wird ausgeführt.