Ground Set

A Partially Ordered Set is defined as an ordered pair $P = (X, \leq)$. Here, $X$ is called the Ground Set of $P$ and $\leq$ is the Partial Order of $P$.

See also Partial Order, Partially Ordered Set