Relation

A relation is a set of pairs $(x,y)$; the condition that makes a pair part of a relation may be arbitrarily defined (“the set of numbers that I think go well together”) or follow some rule (“$x$ is greater than $y$”).

See the introductory article on What does it mean to prove?.