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