===== Surjective function =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $X,Y$ |
| @#FFBB00: definiendum | @#FFBB00: $f\in$ it |
| @#AAFFAA: inclusion   | @#AAFFAA: $f:X\to Y $ |
| @#55EE55: postulate   | @#55EE55: $\text{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 ===
[[Function]]
=== Context ===
[[Image]]