Assertion: y | /r/HasProperty | surjective function
Facets:
Source sentences:
text: If f : X → Y is a surjective function, then X has at least as many elements as Y, in the sense of cardinal numbers.