Tukey's Lemma/Formulation 2

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

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