このときevaluation map "z" がシャッフル積を入れて考えた代数formula_26からrへの群準同型になっているという事実をシャッフル関係式("shuffle relation")という。