Cardinality_of_Surjection

Let $S$ be a set. Let $\card S = n$ where $\card S$ denotes the cardinality of $S$. Let $f: S \to T$ be a surjection. Then $\card T \le n$. The equality $\card T = n$ occurs $f$ is a bijection.