A relation R is reflexive if, for all x, x R x. Equivalence relations, pre-, partial and total orders are all reflexive.