La noción de ideal es el dual de la noción de filtro, esto es, el ideal se obtiene cambiando todas las formula_21 por formula_22 y todas las formula_13 por formula_24 en el filtro.