Lema del Ultrafiltro

Aserción de que todo filtro propio en una álgebra booleana o en el conjunto de partes de un conjunto puede extenderse a un ultrafiltro, equivalente a que toda familia de conjuntos con la propiedad de intersección finita está contenida en un ultrafiltro; se usa para construir ultraproductos y ultrafiltros no principales.