proof of Tukey’s lemma
Let be a set and a set of subsets of such that isof finite character. By Zorn’s lemma, it is enough to show that is inductive. For that, it will be enough to show that if is a family of elements of which is totally orderedby inclusion, then the union of the is an element of as well (since is an upper bound on the family ).So, let be a finite subset of . Each element of is in for some . Since is finite andthe are totally ordered by inclusion, there is some such that all elements of are in . That is, .Since is of finite character, we get , QED.