Module un_algebra::relation::strict_order

Strict partial order relations.

A strict partial order (or strict order) on a set S is a binary relation R on S (written xRx for ∀x ∈ S), with asymmetric, irreflexive and transitive properties.

Properties

∀x, y, z ∈ S

Irreflexive: ¬xRx.
Asymmetric: xRy ⇒ ¬yRx.
Transitive: xRy Λ yRz ⇒ xRz.

References

See references for a formal definition of a strict partial order.

Re-exports

pub use crate::helpers::*;

pub use crate::numeric::*;

pub use super::relation::*;

Traits

NumStrictOrderLaws	Numeric laws of strict orders.
StrictOrder	An algebraic strict partial order relation.
StrictOrderLaws	Laws of strict orders.