M bir monoid ve θ, M üzerinde bir endomorfizm olsun. N^0 negatif olmayan tamsayıların kümesi, r=max{n,p} ve θ^0, M üzerinde birim dönüşüm olmak üzere N^0×M×N^0 kümesi (m,a,n)(p,b,q)=(m-n+r,(aθ^(r-n) ) (bθ^(r-p) ...