Exercice 16, § 6

Soit $\Phi$ un ensemble dénombrable totalement ordonné de filtres élémentaires sur un ensemble $X$; montrer qu’il existe un filtre élémentaire plus fin que tous les filtres de $\Phi$ (montrer que la réunion des filtres de $\Phi$ admet une base dénombrable).