Go backward to Go up to TopGo forward to Image |

*Definition:*
Let `f`: `A` -> `B`, `A`' subset `A`.
The *image* of `A`' at
`f` is the set of all values to which elements of `A`' are
mapped by `f`:

f(A') :=ifA' subset domain(f)then{f(x):xinA'}.

The *inverse image* of `B`' at `f` is the set of all
elements that are mapped to some elements of `B`' by
`f`:

f^{-1}(B') := {xin domain(f):f(x) inB'}.

*Function applied to set of arguments.*

Author: Wolfgang Schreiner

Last Modification: December 7, 1999