Posets -- a package for working with partially ordered sets
Description
This package defines Poset as a new data type and provides routines which use or produce posets. A poset (partially ordered set) is a set together with a binary relation satisfying reflexivity, antisymmetry, and transitivity.