Em matemática, especialmente em teoria dos conjuntos, um filtro em um conjunto  é uma coleção de subconjuntos de , ou seja, , satisfazendo as seguintes condições:

Por vezes, a definição não inclui a propriedade . Com essa definição, os filtros com esta propriedade chamam-se filtros próprios.