Filtro

Una familia no vacía F de subconjuntos de un conjunto X que es cerrada bajo intersecciones finitas y bajo supersets (si A ∈ F y A ⊆ B ⊆ X entonces B ∈ F). Los filtros se usan para expresar nociones de «grandeza» y para definir convergencia independiente de índices numerables.