Eine Ungleichung, wie eine Gleichung muß entweder das Resultat einer Ausrechnung, oder eine Festsetzung sein.