Si el ínfimo binario ^ existe, entonces una propiedad razonable puede ser requerir que "f"("x"^"y") = "f"("x") ^ "f"("y"), para todo "x" y "y".