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 .