Definition:Bijection/Definition 1

Definition
A mapping $f: S \to T$ is a bijection iff:
 * $f$ is both a surjection and an injection.

Also see

 * Equivalence of Definitions of Bijection