The
Posets package defines Poset as a new data type and provides routines which use or produce posets. A poset or a partially ordered set is a set together with a binary relation satisfying reflexivity, antisymmetry, and transitivity.
Contributors
The following people have generously contributed code or worked on our code.