Untuk \(x\in X\text{,}\) \(x\in(g\circ f)^{-1}(C)\) jika dan hanya jika \(g(f(x))\in C\text{.}\) Ini setara dengan \(f(x)\in g^{-1}(C)\text{,}\) yang setara dengan \(x\in f^{-1}(g^{-1}(C))\text{.}\) Rantai ekuivalensi berlaku bagi setiap \(x\in X\text{,}\) sehingga kedua himpunan sama. Simbol invers di sini menyatakan prapeta himpunan dan tidak memerlukan bijektivitas.