A relation R on a set A is reflexive if for each element x in A, x is related to itself by R. Symbolically: