 The set of primitive recursive relations is also closed under bounded quantification—i.e., if \(R(\vec{x},z)\) is a primitive recursive relation, then so are the relations \(\forall z \leq y R(\vec{x},z)\) and \(\exists z \leq y R(\vec{x},z)\). These may be respectively defined as follows as follows: 