Definition:Pre-Image Sigma-Algebra on Codomain