Bepaling, bijvoorbeeld in een Cobol-programma.

Bepaling, bijvoorbeeld in een contract.

Een logische uitdrukking met nul of meer voorwaarden die leidt tot een enkelvoudige conclusie.