Tukey's Lemma/Formulation 2

Theorem
Let $S$ be a non-empty set of finite character.

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