Ein logischer Ausdruck, der eine oder mehrere Bedingungen, die Eingänge Programm erfüllen muss, um gültig zu sein.