let be a function is surjective if for every there exists atleast a single such that , which means
its cool to think of a surjective function as one whose image is "stretched out" to fit its range
a function is surjective if every element in comes from applying to some element in :