A relation is a correspondence between two things or quantities. It is a set of two ordered pairs where each element in the first set, called the domain(input), corresponds to at least one element in the second set, called the range(output). A relation is a set of ordered pairs.