Wie gibt man lösungsmenge an?