ultrafiltre

== Français == === Étymologie === Dérivé de filtre, avec le préfixe ultra-. === Nom commun === ultrafiltre \yl.tʁa.filtʁ\ masculin (Mathématiques) Filtre d’un ensemble n’étant pas contenu dans un filtre plus grand. Comme en 1.2.8, l’existence d’une caractérisation locale par l’existence d’un ultrafiltre convenable entraîne le caractère ensembliste. — (Patrick Dehornoy, La Théorie des Ensembles, C&M, 2017, page 528) ==== Traductions ==== === Forme de verbe === ultrafiltre \yl.tʁa.filtʁ\ Première personne du singulier de l’indicatif présent du verbe ultrafiltrer. Troisième personne du singulier de l’indicatif présent du verbe ultrafiltrer. Première personne du singulier du subjonctif présent du verbe ultrafiltrer. Troisième personne du singulier du subjonctif présent du verbe ultrafiltrer. Deuxième personne du singulier de l’impératif du verbe ultrafiltrer.