Келісілген және сәйкес келмейтін теңдеулер
Математикада, атап айтқанда алгебрада сызықтық немесе сызықтық емес теңдеулер жүйесі дәйекті болып табылады егер жүйедегі әрбір теңдеуді қанағаттандыратын белгісіз мәндердің кем дегенде бір жиынтығы болса, яғни теңдеулердің әрқайсысына ауыстырылған кезде әрбір теңдеу сәйкестік ретінде шынайы болып қалады. Керісінше, егер барлық теңдеулерді қанағаттандыратын белгісіз мәндер жиынтығы болмаса, теңдеулер жүйесі қайшылықты болады.
сызықтық теңдеулер жүйесі сәйкес келеді, егер
егер жүйедегі әрбір теңдеуді қанағаттандыратын белгісіз мәндердің кем дегенде бір жиынтығы болса, яғни теңдеулердің әрқайсысына ауыстырылған кезде әрбір теңдеу сәйкестік ретінде шынайы болып қалады