A property of a value with respect to some constraint. The value is said to satisfy a constraint if the value is in the subset of values determined by the constraint.