05.01 äquivalenzumformung, Lösungsmenge