Strict total order

A strict total order is an irreflexive and transitive relation

<

for which exactly one of

x < y

and

y < x

holds whenever

x \neq = y

. It corresponds to a total order through

x \leq y

if and only if

x < y

or

x = y

.

 Ancestors (7)

 Incoming links (6)

 View article source

 Discussion (0)

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic Create my own version