Partially ordered set

A partially ordered set is a structure that formalizes and generalizes orderings on a set.