Propriété d’intersection finie non vide

[ Definition ]
Une famille \({\cal A}\) de parties de \(X\) a la propriété d’intersection finie non vide si et seulement si tout sous-ensemble fini de \({\cal A}\) a une intersection non vide.
En savoir plus