Sobre as propriedades que tornam o conjunto dos números Reais um "corpo ordenado", gostaria de saber se a "Compatibilidade da ordem com a multiplicação", expressa como: "se x?y e 0?z, então x.z?y.z" (tomando x, y e z como números Reais), também pode ser expressa como: &...