b相继作用的结果仍保持N整体不变，故a*b仍在S(N)中，称之为S(N)中的运算满足()