Assertion: algebra's set | /r/HasProperty | extended with new element
Facets:
Source sentences:
text: With this in view, the set N ∪ { ω } {\displaystyle \mathbf {N} \cup \{\omega \}} consisting of the set of natural numbers extended with a new element ω {\displaystyle \omega } is the carrier of the final coalgebra in the category, where f ′