Image of a subset under a transformation