Un elemento "a" de un retículo completo "L" se denomina "compacto" (según una propiedad similar en topología), si todo subconjunto "M" de "L" con