partially ordered set

A set with a partial ordering.