A partially ordered set is defined as an ordered pair P = (X, <=). Here, X is called the ground set of P and <= is the partial order of P.

partially ordered set | partial order