  We develop the theory of trace modules up to isomorphism and explore the
relationship between preenveloping classes of modules and the property of being
a trace module, guided by the question of whether a given module is trace in a
given preenvelope. As a consequence we identify new examples of trace ideals
and trace modules, and characterize several classes of rings with a focus on
the Gorenstein and regular properties.
