تعبير منطقي تحديد واحد أو أكثر من الشروط التي يجب أن تكون اجتمعت كل مرة نقطة معينة في حلقة برنامج يتم تنفيذه.