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.