In mathematics, the Teichmüller–Tukey lemma, named after John Tukey and Oswald Teichmüller, is a lemma that states that every nonempty collection of finite character has a maximal element with respect to inclusion. Wikipedia