Image of is a subset of ‘s codomain that is output of on a subset of its domain (image is the smaller oval inside ).

- Image of under is (value of when applied to )
- Image of a subset under is subset defined by
- Image of entire domain of is called the image of .