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

total ordering

You are here: irt.org | FOLDOC | total ordering

<mathematics> A relation R on a set A which is a partial ordering; i.e. it is reflexive (xRx), transitive (xRyRz => xRz) and antisymmetric (xRyRx => x=y) and for any two elements x and y in A, either x R y or y R x.

See also equivalence relation, well-ordered.

(1995-02-16)

Nearby terms: total function « totally ordered « totally ordered set « total ordering » toto » touchpad » touch screen

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