"Conmutatividad de la equivalencia" (también llamada ley conmutativa completa de la equivalencia)