A relation R is reflexive if, for all x, x R x.

equivalence relations, pre-orders, partial orders and total orders are all reflexive.