A system of equations whose degree of freedom in the variables is greater than that of the degree of constraint imposed by the equations. For real equations in real variables, it is a system where the number of variables is greater than the number of equations.