However the modern definition of an operation makes this axiom superfluous; an n-ary operation on S is just a subset of Sn+1.
Међутим, модерна дефиниција операције чини ову аксиому непотребном; n-арни оператор на S је само подскуп од Sn+1.