En kontrol-sætning, der indeholder en eller flere boolske udtryk, hvis resultater afgøre, om at udføre andre sætninger inden hvis sætningen.