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