See PoSet.

PartiallyOrderedSet (last edited 2007-02-14 17:17:15 by dot)