orderings

Orderings on Algebras

Protocols for orderings of algebraic structures.

Total and partial orderings on algebras.