order_theory 0.1.6

Traits which describe basic concepts from order theory.
Documentation