Function

Image and preïmage

Given a function , the image¹ of a subset is the set containing all output values for #m/def/general, whereas the preïmage² of a subset is the set containing all elements of with an image in . #m/def/general

Properties

A stack exchange answer

• The preïmage of the image and image of the preïmage are not necessarily the identity
• The image map of a bijection is a bijection

#state/tidy | #lang/en | #SemBr