Tetszőleges a és b természetes számok esetén az a\leq b reláció akkor és csak akkor teljesül, ha az s(a)\leq s(b) reláció is teljesül.