Surjection

A function \(f: S\rightarrow T\) is surjective (onto) if, for every \(t\in T\) there exists an \(s\in S\) such that \(f(s) = t\).