ブロッホ＝ドミニシスの定理
のように、同じ右付き添え字の演算子同士の縮約を行い、さらにフェルミ粒子の場合には演算子の入れ替えの回数に応じた符号を与えるものとする。
A =A (τ)が虚時間での相互作用表示の演算子であるとし、虚時間に対する時間順序積をとる場合にも、同様にブロッホ=ドミニシスの定理