[danharaj]

Yes, in that case S is {}. {} ∈ P(A) but is not in the image of e.

[danbruc]

Thanks, now it clicked. I misinterpreted the image as the image of x instead of as the image of e. And then did something weired that now makes no longer any sense at all.