Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

reflexive

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

©2018 Martin Webb