An example for such a relation might be a function. Functions associate keys with singular values. The set of all functions is a subset of the set of all relations - a function is a relation where the first value of every tuple is unique through the set.