Let \(X\) be a partially ordered set in which every total ordered subset has an upper bound. Then \(X\) contains a maximal element.

Remarks