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.
| < Previous Terms | Terms Containing reflexive | Next Terms > |
| referer referrer REFINE Refined C Refined Fortran | equivalence relation glork lurking partial equivalence relation partial ordering | reflexive domain Reflexive transitive closure RefLisp refresh refreshable braille display |
