##  [Lemme de L'Ultrafiltre](/index.php/fr/node/61183) 

  ##  [Lemme de L'Ultrafiltre](https://mathlogic.quantumdictionary.io/fr/node/61184) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/index.php/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.