Caso If del matching, reglas para case con conmutatividad en la relacion