Untuk menangani situasi pertama, kita memerlukan cara untuk mendeskripsikan himpunan citra dari elemen-elemen dalam suatu himpunan bagian domain. Misalkan \(f:X \to Y\) adalah fungsi dan \(A \subseteq X\) merupakan suatu himpunan bagian domain (mungkin seluruh domain). Kita akan menggunakan notasi \(f(A)\) untuk menyatakan citra \(A\) oleh \(f\), yaitu himpunan elemen dalam \(Y\) yang merupakan citra dari elemen-elemen dalam \(A\text{.}\) Dengan kata lain, \(f(A) = \{f(a) \in Y \st a \in A\}\text{.}\)