Notasi: \(f:X \to Y\) merupakan cara kita menyatakan bahwa fungsi tersebut bernama \(f\text{,}\) domainnya adalah himpunan \(X\text{,}\) dan kodomainnya adalah himpunan \(Y\text{.}\)