  Inspired by nonstandard analysis, we define and study internal subsets and
internal functions in algebras of Colombeau generalized functions. We prove a
saturation principle for internal sets and provide applications to Colombeau
algebras.
