a special case of a k -ary relation , that is, a set of k -tuples where the j th component of each k -tuple is taken from the j th domain X j of the relation
In mathematics, a binary relation (or a dyadic relation) is an arbitrary association of elements of one set with elements of another (perhaps the same) set.