an example for such a relation might be a function. functions associate each key with one value. 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.