# Set Theory

## Table of Contents

## Theorems

Let be a partially ordered set such that for every chain , there is an upper bound , that is,

Then has a *maximal* element.

Let be a partially ordered set such that for every chain , there is an upper bound , that is,

Then has a *maximal* element.