We introduce the notion of bilinear moment functional and study their general properties. The analogue of Favard's theorem for moment functionals is proven. The notion of semiclassical bilinear functionals is introduced as a generalization of the corresponding notion for moment functionals and motivated by the applications to multi-matrix random models. Integral representations of such functionals are derived and shown to be linearly independent.
