Category:Examples of Partial Orderings

This category contains examples of Partial Ordering.

Let $\struct {S, \preceq}$ be an ordered set.

Then the ordering $\preceq$ is a partial ordering on $S$ if and only if $\preceq$ is not connected.

That is, if and only if $\struct {S, \preceq}$ has at least one pair which is non-comparable:

$\exists x, y \in S: x \npreceq y \land y \npreceq x$