Donat un conjunt X, conjunt F de parts de X tal que: ∅∉F; tota part de X que conté un element de F, pertany a F (B∈F i B⊂A ⇒A∈F) i la intersecció d’un nombre finit d’elements de F pertany a F.
El concepte de filtre reposa a la base de la noció topològica de convergència (límit). Donat un espai topològic E, el conjunt dels entorns d’un dels seus elements és un filtre.