inverse-image set