ここで、"p" は(1,2, …, "n")→("i"1, "i"2, …, "in")なる置換を表し、和σ'において、ここの縮約で対となる演算子は、"ik"-1&lt; "ik"を満たし、全体としては"i"1&lt; "i"3&lt; …&lt; "in"の順序が満たされる項について和をとるものする。