Kuratowski's Lemma/Formulation 2

Theorem
Let $S$ be a set which is closed under chain unions.

Then every element of $S$ is a subset of a maximal element of $S$ under the subset relation.

Proof
This is demonstrated in Axiom of Choice implies Kuratowski's Lemma.