Surjective function
Set
| context | X,Y |
| definiendum | f∈ it |
| inclusion | f:X→Y |
| postulate | im(f)=Y |
Discussion
A function can only be or not be surjective w.r.t. to a stated codomain. A function is always surjective w.r.t. it's own image. See Function for further discussion.
Parents
Subset of
Context
