Definition of Constraints in Z