previous up next
Go backward to
Go up to Top
Go forward to Image
RISC-Linz logo


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') := if A' subset domain(f) then {f(x): x in A'}.

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') := {x in domain(f): f(x) in B'}.

Function applied to set of arguments.

Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next