Aplicando la propiedad básica de las conexiones de Galois, podemos concluir que "f"("x") ≤ "f"("y").