Teichmüller–Tukey Lemma

Tukey's Lemma

Lemma that states that every nonempty collection of finite character has a maximal element with respect to inclusion.