propiedad del orden de la multiplicación Definición