Module un_algebra::relation::total_order

Total order relations.

A total order on a set S is a binary relation R on S (written xRx for ∀x ∈ S), with anti-symmetric, connex and transitive properties.

Properties

∀x, y, z ∈ S

Connex: xRy ∨ yRx.
Transitive: xRy Λ yRz ⇒ xRz.
Anti-symmetric: xRy Λ yRx ⇒ x = y.

References

See references for a formal definition of a total order.

Re-exports

pub use crate::helpers::*;

pub use crate::numeric::*;

pub use super::relation::*;

Traits

NumTotalOrderLaws	Numeric laws of total orders.
TotalOrder	An algebraic total order relation.
TotalOrderLaws	Laws of total orders.