Lemme de L'Ultrafiltre

Assertion selon laquelle tout filtre propre sur une algèbre de Boole ou sur l'ensemble des parties d'un ensemble peut être étendu en un ultrafiltre, autrement dit toute famille de parties ayant la propriété d'intersection finie est contenue dans un ultrafiltre ; utilisée pour construire des ultraproduits et des ultrafiltres non principaux.