Definisi prapeta langsung memberi \(f(x)\in Y\setminus B\text{.}\) Menjadi anggota komplemen \(B\) di \(Y\) berarti tidak menjadi anggota \(B\text{;}\) oleh karena itu \(f(x)\notin B\text{.}\)