Een logische expressie opgeven van een of meer voorwaarden dat programma ingangen moeten voldoen om geldig te zijn.