In mathematics, a finitary relation over a sequence of sets X₁, ..., Xₙ is a subset of the Cartesian product X₁ × ... × Xₙ; that is, it is a set of n-tuples, each being a sequence of elements xᵢ in the corresponding Xᵢ. Typically, the relation... Wikipedia