Constraint for domain