<-- Go Back Last Updated: 11/01/2025
Given any partial order \((P,\leq)\) such that every chain in \(P\) has an upper bound, P has a maximal element. This is equivalent to the axiom of choice and the statement ''every vector space has a basis''.