This is literally the definition of an onto function; if computer scientists don't get this, they should be ashamed. How do you do any computer science without

This is literally the definition of an onto function; if computer scientists don't get this, they should be ashamed. How do you do any computer science without knowing the symbols for "for all" and "there exists"?