express constraint violation

96 Views Asked by At

A very simple question, what's the mathematical symbol (expression) that represents constraint violation. Specifically, we have a set of constraints R each of which taking three variables, two sets of values S1 and S2 and we look for the constraints in R that some values in S1 and S2 does not violate, so how should I write the definition of such constraint(s)?