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)
Nearby terms:
REFINE « Refined C « Refined Fortran « reflexive
» reflexive domain » Reflexive transitive closure »
RefLisp
|