Definition
Ein Gleichungs- oder Bedingungssystem, das mehr unabhängige Bedingungen als Freiheitsgrade (Unbekannte) aufweist und typischerweise zu Inkonsistenz führt, sofern nicht spezielle Zusammenhänge oder Redundanzen zwischen den Bedingungen vorliegen.