In mathematics, a relation R on a set S is reflexive iff for every element x in S, x R x (or ``x is related to itself under R'').