Factor interaction models are defined as those cases in nonlinear factor analysis in which the specification equation contains products of two or more latent variables or functions of latent variables. A complete algebraic treatment is given for the case of a product of two latent variables, and certain more general cases are briefly outlined.