order_theory 0.1.1

Traits which describe basic concepts from order theory.
Documentation