Assertion: finite set | /r/HasProperty | f(n| n ∈ n
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.