<*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.

Last updated: 1995-02-16

Try this search on Wikipedia, OneLook, Google

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

Loading

Copyright Denis Howe 1985