  The Axiom of Choice is closely allied to a group of mathematical propositions collectively known as maximal principles. Broadly speaking, these propositions assert that certain conditions are sufficient to ensure that a partially ordered set contains at least one maximal element, that is, an element such that, with respect to the given partial ordering, no element strictly exceeds it.