domain of a relation The set of all first coordinates of the ordered pairs.

Related Term: range of a relation