Un subconjunto no vacío formula_4 de un conjunto parcialmente ordenado formula_5 es un filtro si se dan las siguientes condiciones: