reflexive

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

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

[FOLDOC]

<2001-03-16>

Try this search on OneLook / Google