  This paper presents an alternative approach to simplify the proofs of some
important results related to polynomial mappings in Computational Algebraic
Geometry such as Polynomial Implicitization, Image Closure and some properties
of the ideal relations of polynomial mappings.
