relation

A relation denotes some kind of relationship between two objects, which may or may not hold.

A finitary relation is a structure between a finite number of sets, consisting of related elements in $n-$tuples (a subset and superset of the $n$-ary Cartesian product of the sets)

• A binary relation is a structure between two sets, consisting of ordered pairs of related elements.