Finitary relation

A **finitary relation** in mathematics, particularly in the context of formal logic, set theory, and database theory, refers to a relationship that involves a finite number of elements. More precisely, a relation can be thought of as a subset of a Cartesian product of sets, and when we specify that a relation is finitary, we mean that it is defined for a finite number of tuples.