Relation (logic)

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 ${\displaystyle k}$-tuples of individuals. Typically, the property describes a possible connection between the components of a ${\displaystyle k}$-tuple. For a given set of ${\displaystyle k}$-tuples, a truth value is assigned to each ${\displaystyle k}$-tuple according to whether the property does or does not hold.

...
Wikipedia