よって全てのxでの並進演算子T^(x){\displaystyle{\hat{T}}({\boldsymbol{x}})}の集合T{\displaystyle{\mathfrak{T}}}は群をなす。
它规定：对于所有在集族X{\displaystyleX}中的集合s{\displaystyles}，f(s){\displaystylef(s)}是s{\displaystyles}的一个元素。