A relation is a set of ordered pairs