Tukey's Lemma

Also see

 * Equivalence of Formulations of Tukey's Lemma