Assertion: finite set | /r/HasProperty | set
Facets:
Source sentences:
text: Both the object set and the morphism set are sets, so it becomes possible to discuss the category of "all" sets without invoking proper classes.
text: The image of f is the countable set {f(n) | n ∈ N}, whose members are themselves infinite (and possibly uncountable) sets.