Products and coproducts in posets...

Efficient algorithm to find the maximal elements of a partially ordered set...

Java partially ordered Collection<E>...

How to define arbitrary partial order relation and prove its properties?...

How to represent a binary relation...

Creating Class relation...

Sorting a poset?...

How to sort a list using partial order in Haskell?...

partial order - finite set - minimal element...

Selecting k sub-posets...

Poset iteration order / custom iterator implementation for a partially ordered set...

Java Poset simulation...

Efficient incremental implementation of poset...