Add equivalence between Product