A generalization of a linear program in which any subset of the variables may be constrained to form a semidefinite matrix.