Assertion: set's member | /r/HasProperty | infinite
Facets:
Source sentences:
text: The image of f is the countable set {f(n) | n ∈ N}, whose members are themselves infinite (and possibly uncountable) sets.