Assertion: algebra's set | /r/HasProperty | initial algebra
Facets:
Source sentences:
text: The set of finite lists of natural numbers is an initial algebra for this functor.