REFLEXIVE

< theory > A relation R is reflexive if, for all x, x R x.

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

(1999-01-28)