is said to be a partial ordering on the set A iff it has the following
The partial ordering is said to be a linear ordering iff either
for any two elements
of the set A.
Any linearly ordered subset C of a partially ordered set A is called a chain.
The chain C is said to be maximal if it is not a nontrivial subset of any
For a chain C we define the upper bound
as an element with the property
of the partially ordered set A is called maximal iff
(Axiom of choice). Let
be an arbitrary index set
Suppose that for any
is given. Then there exists a map
(Hausdorff maximal principle). Every chain of a partially ordered set is
contained in some maximal chain.
(Zorn maximal principle). If every chain of
a partially ordered set has a upper bound then there exists a maximal element.
Both versions of the maximal principle are consequences of the axiom of