Filtration (mathématiques)

Une filtration sur un ensemble est une suite de parties croissante ou décroissante pour l'inclusion. Un espace filtré est un ensemble muni d'une filtration compatible avec sa structure.