A relation R on a set A is called reflexive if (a,a)∈R for every element a∈A
This can be formalised in predicate logic by ∀x(x,x)∈R, where the domain is the set of all elements in A