Butir. Citra invers lengkap suatu elemen \(y\) dalam kodomain, yang ditulis \(f\inv(y)\text{,}\) adalah himpunan semua elemen domain yang dipetakan oleh fungsi ke \(y\text{.}\)