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.