3.7.263. Tuple

A constraint involving a tuple. A tuple is an element of a relation, where a relation is a subset of the product of several finite sets.