Een logische expressie opgeven van een of meer voorwaarden dat programma uitgangen moet voldoen aan om het programma juist te zijn.