Positivity and positive definiteness in generalized function algebras

The definitions of positivity and positive definiteness are extended to generalized function algebras in coherence with the corresponding notions for distributions. Versions of Bochner's theorem for a positive definite Colombeau generalized function are given.