Set Theory

Table of Contents

Theorems

Let $\big( P, \le \big)$ be a partially ordered set such that for every chain $L \subset P$, there is an upper bound $y \in P$, that is,

\begin{equation*} x \le y, \quad \forall x \in L \end{equation*}

Then $P$ has a maximal element.