Un subconjunto no vacío formula_4 de un reticulado formula_5 es un filtro, si y sólo si es un conjunto "upper" que es cerrado bajo finitas "meets": formula_13 (ínfimo), esto es, para todo formula_14, se tiene que formula_15".