You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL