[−][src]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. |