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.

Last updated: 1999-01-28

Try this search on Wikipedia, OneLook, Google

Nearby terms:

REFINE « Refined C « Refined Fortran « reflexive » reflexive domain » Reflexive transitive closure » RefLisp

Loading