Module un_algebra::relation

Algebraic relation modules.

The relation module provides sub-modules for algebraic n-ary relations, including their "numeric" variants.

Re-exports

pub use self::relation::*;

pub use self::inequality::*;

pub use self::equivalence::*;

Modules

equivalence	Algebraic equivalence relations.
inequality	Algebraic inequality relations.
relation	Algebraic binary relation types.