Given a partial ordered set such that every total ordered subset having an upper bound, then the set has a maximal element.