Given is a function with graph prove that is surjective .
Proof: ' ' direction: If is surjective, then . Then and or . Then because by definition is surjective.
' ' direction: If then and so that . Then so that is surjective.
Is this proof correct?
Thanks