Wyrażenie logiczne, określając jeden lub więcej warunków, które program wejścia muszą spełniać aby były prawidłowe.