Логическое выражение, задающее одно или несколько условий, которые программа материалы должны удовлетворять для того, чтобы быть действительным.