sem uppfyllir allar jöfnurnar, og mengi allra lausna jöfnuhneppisins kallast lausnamengi. Sé enginn vigur til sem leysir jöfnuhneppið er kerfi línulegu jafnanna sagt ósamkvæmt. Sé til ein eða fleiri lausnir er það því samkvæmt. Ef ein eða fleiri af jöfnunum eru línulega háðar þá er til fleiri en ein lausn, en þá verður lausnarvigurinn að innihalda stika eða lausa breytu sem gerir það að verkum að vigurinn geti tekið á sig öll hugsanleg gildi.