Assertion: algebra's element | /r/HasProperty | \displaystyle \omega
Facets:
Source sentences:
text: {\displaystyle f'} is the predecessor function (the inverse of the successor function) on the positive naturals, but acts like the identity on the new element ω {\displaystyle \omega } : f ( n + 1 ) = n {\displaystyle f(n+1)=n} , f ( ω )