Encyclopedia > Total preorder

Article Content

Total preorder

A total preorder over a set X is a preorder <= over X that is total, that is, for all a and b in X it holds that a <= b or b <= a.

The difference between a total preorder and a total order is that a total preorder (since it is only a preorder) is not required to be antisymmetric.

An example is (X, <=) where X = {1, 2} and a <= b for all a and b in X.

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia

Search over one million articles, find something about almost anything!

Featured Article

Thomas a Kempis

... Later he was admitted to the Augustinian convent of Mount Saint Agnes near Zwolle where his brother John had been before him and had risen to the dignity of prior. ...