Relations can be described as a collection of ordered pairs. It is used to relate an object from one non-empty set to another non-empty set.