Equivalent to axiom of choice. If every chain in a poset has an upper bound, then the poset has a maximal element.