Adjacency Relation

The Set $E$ of Edges of a Graph $(V, E)$, being a set of unordered pairs of elements of $V$, constitutes a Relation on $V$. Formally, an adjacency relation is any Relation which is Irreflexive and Symmetric.

See also Irreflexive, Relation, Symmetric