Module un_algebra::relation::equivalence

Equivalence relations.

An equivalence relation on a set S is a binary relation R on S (written xRx for ∀x ∈ S), with reflexive, symmetric and transitive properties.

Properties

∀x, y, z ∈ S

Reflexive: xRx.
Symmetric: xRy ⇒ yRx.
Transitive: xRy Λ yRz ⇒ xRz.

References

See references for a formal definition of an equivalence relation.

Re-exports

pub use crate::helpers::*;

pub use crate::numeric::*;

pub use super::relation::*;

Traits

Equivalence	An algebraic equivalence relation.
EquivalenceLaws	Laws of equivalence relations.
NumEquivalenceLaws	Numeric laws of equivalence relations.