One-to-One: x has only one y value

Surjection/Onto: y has only one x value

A function f : S → T that is both one-to-one and onto is said to be a bijection