Lec 52 - Preimage of a set