Definition:Pre-Image Sigma-Algebra

Also see

 * Pre-Image Sigma-Algebra on Domain is Sigma-Algebra
 * Pre-Image Sigma-Algebra on Codomain is Sigma-Algebra
 * Pre-Image Sigma-Algebra on Domain makes Mapping Measurable