\begin{definition}[Definition:Mapping Induced on Powerset]
The '''mapping induced on a powerset''' can be either of two concepts:
== Direct Image Mapping ==
{{:Definition:Direct Image Mapping}}
== Inverse Image Mapping ==
{{:Definition:Inverse Image Mapping}}
Category:Definitions/Induced Mappings
\end{definition}