発展例として、"a" ＝ "b" であるとき、そのような核作用素に対してトレースを定義できることもある。