Tukey's lemma