Assertion: algebra | /r/HasProperty | succ
Facets:
Source sentences:
text: The algebra ( N , [ z e r o , s u c c ] ) {\displaystyle (\mathbb {N} ,[\mathrm {zero} ,\mathrm {succ} ])} in the above example is an initial algebra.