En mathématiques, un ensemble de parties de caractère fini d'un ensemble E est un ensemble F {\displaystyle {\mathcal {F}}} de parties de E tel que pour toute partie A de E, on a l'équivalence entre l'appartenance de A à F {\displaystyle {\mathcal {F}}} d'une part et la propriété que toute partie finie de A appartient à F {\displaystyle {\mathcal {F}}} d'autre part. Wikipedia