Preimage and kernel example