A logical expression specifying one or more conditions that must be met each time a particular point in a program loop is executed.