Filtro (teoria dos conjuntos)
Origem: Wikipédia, a enciclopédia livre.
Em teoria dos conjuntos, um filtro F em um conjunto S é uma coleção de subconjuntos de S, ou seja, , satisfazendo os seguintes axiomas:
Por vezes, a definição não inclui a propriedade . Com essa definição, os filtros com esta propriedade chamam-se filtros próprios.
[editar] Exemplo
- Seja X um espaço topológico e
. Então a coleção das vizinhanças de x é um filtro.