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.