|total ordering||computing dictionary|
<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.
(01 Feb 1995)
|Bookmark with:||word visualiser||Go and visit our forums|