Assertion: set's element | /r/HasProperty | function
Facets:
Source sentences:
text: Recall that the elements of \(\mathcal{N}\) are functions \(f:\mathbb{N}