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
![](http://bis.babylon.com/?rt=GetFile&uri=!!ARV6FUJ2JP&type=0&index=1714)
-
tuples of individuals. Typically, the property describes a possible connection between the components of a
![](http://bis.babylon.com/?rt=GetFile&uri=!!ARV6FUJ2JP&type=0&index=1714)
-tuple. For a given
set of
![](http://bis.babylon.com/?rt=GetFile&uri=!!ARV6FUJ2JP&type=0&index=1714)
-tuples, a truth value is assigned to each
![](http://bis.babylon.com/?rt=GetFile&uri=!!ARV6FUJ2JP&type=0&index=1714)
-tuple according to whether the property does or does not hold.