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.