Para un elemento dado "a" de un retículo acotado, al elemento "b" con la propiedad