Definition:Bijection/Definition 2

Definition
A mapping $f: S \to T$ is a bijection iff:
 * $f$ has both a left inverse and a right inverse.

Also see

 * Equivalence of Definitions of Bijection