In mathematics, a finitary relation over sets is a subset of the Cartesian product. Relations with a finite number of places are called finitary relations. The non-negative integer n giving the number of "places" in the relation is called the arity, adicity or degree of the relation.