Die Lösungsmenge einer Gleichung ist ihre Erfüllungsmenge. Sie besteht aus allen allen Elementen der Grundmenge, die, in eine Gleichung eingesetzt, zu einer wahren Aussage führen.