Module un_algebra::relation::partial_order

(Non-strict) partial order relations.

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

Properties

∀x, y, z ∈ S

Reflexive: xRx.
Transitive: xRy Λ yRz ⇒ xRz.
Anti-symmetric: xRy Λ yRx ⇒ x = y.

References

See references for a formal definition of a (non-strict) partial order.

Re-exports

pub use crate::helpers::*;

pub use crate::numeric::*;

pub use super::relation::*;

Traits

NumPartialOrderLaws	Numeric laws of partial orders.
PartialOrder	An algebraic (non-strict) partial order relation.
PartialOrderLaws	Laws of partial orders.