Nótese que con esta definición, un filtro de conjunto es en efecto un filtro; de hecho es un filtro propio.