Module un_algebra::relation

Relation modules.

The relation module provides sub-modules for algebraic n-ary relations.

Re-exports

pub use self::relation::*;

pub use self::inequality::*;

pub use self::equivalence::*;

pub use self::total_order::*;

pub use self::strict_order::*;

pub use self::partial_order::*;

Modules

equivalence	Equivalence relations.
inequality	Inequality relations.
partial_order	(Non-strict) partial order relations.
relation	Binary relation types.
strict_order	Strict partial order relations.
total_order	Total order relations.