Relation on a set

A relation from a set $A$ to $A$ itself is called a relation on $A$.

It can also be said that:

• a relation on a set $A$ is a subset of $A\times A$
• a relation on a set $A$ is a set consisting some ordered pairs of elements from $A$