Go backward to Go up to Top Go 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') := 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.