Files
cours/ultraproduit.md

223 B

up, tags, aliases
up tags aliases
ultrafiltre
s/maths/logique

[!definition] Définition Soit (M_{x})_{x \in X} une famille d'ensembles non vides Soit \mathcal{U} un ultrafiltre sur X


^definition