Definition:Pre-Image Sigma-Algebra