In mathematics, an algebraic variety V in projective space is a complete intersection if the ideal of V is generated by exactly codim V elements. That is, if V has dimension m and lies in projective space Pn, there should exist n − m homogeneous polynomials: in the homogeneous coordinates Xj, which generate all other homogeneous polynomials that vanish on V.