La asociatividad y la conmutatividad se prueban de manera análoga al caso de la suma.