设＜S，＞是半群，对∀a，b∈S，若a≠b，就有ab≠ba，则下列叙述中不正确的是（）