Assertion: y | /r/HasProperty | finite
Facets:
value: with the same number of elements
type: OTHER
Source sentences:
text: Specifically, if both X and Y are finite with the same number of elements, then f : X → Y is surjective if and only if f is injective.