Wird zu einer Gleichung eine Grundmenge G angegeben, so muss die gesuchte Lösung in dieser Grundmenge enthalten sein - ansonsten gibt es keine Lösung. Die Lösungsmenge L enthält alle Lösungen der Gleichung. Gibt es keine Lösung, so ist sie leer.
Von einer allgemeingültigen Gleichung spricht man, wenn jede Zahl aus der Grundmenge zu einer wahren Aussage führt. Die Lösungsmenge stimmt also mit der Grundmenge überein.
Von einer nicht erfüllbaren Gleichung spricht man, wenn keine Zahl aus der Grundmenge die Gleichung erfüllt. Die Lösungsmenge ist dann die leere Menge. Man schreibt: L = { }
