Finitary relation
In mathematics, a finitary relation has a finite number of "places". In set theory and logic, a relation is a property that assigns truth values to -tuples of individuals. Typically, the property describes a possible connection between the components of a
-tuple. For a given set of
-tuples, a truth value is assigned to each
-tuple according to whether the property does or does not hold.