in mathematics, an "n-ary relation" on "n" sets, is any subset of cartesian product of the "n" sets (i.e., a collection of n-tuples), with the most common one being a binary relation, a collection of order pairs from two sets containing an object from each set. the relation is "homogeneous" when it is formed with one set.