Assertion: y | /r/HasProperty | surjective
Facets:
value: specifically
type: DEGREE
Source sentences:
text: In mathematics, a function f from a set X to a set Y is surjective (also known as onto, or a surjection), if for every element y in the codomain Y of f, there is at least one element x in the domain X of f such that f(x) =
text: Y is surjective and B is a subset of Y, then f(f −1(B))
text: Y is surjective if and only if it is right-cancellative: given any functions g,h :
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.