Екі айнымалысы бар екі өрнек берілген, екі өрнекті теңдік белгісімен біріктірсек, f (x,у) = g (х,у)(1) түріндегі кредит шығарып аламыз, мұны екі айнымалысы бар теңдеу деп атаймыз.
Егер х0,у0 пар санды теңдеуін шығатын болса, онда бұл нар сан осы теңдеудің шешімі деп f (x,у) , g (х,у) теңдеуіне апаратын қойғанда ақиқат сандың теңдік шығатын болса, онда бұл нар сан осы теңдеудің шешімі деп аталады, ал мұндай барлық парлар жиыны Т теңдеудің шешімдерінің жиыны деп аталады. Егер теңдеулерге апараып қойғанда әр бір теңдеуді ақиқат сандық теңдікке айналдыратын барлық сандар парларын табу етілсе, онда бұл теңдеулер система құрайды дейді.
Егер (х0,у0) пар санды сәйкесінше х пен у-тің орнына апарып қойғанда (1) системаның екі теңдеуі де ақиқат сандық теңдік болып шықса, онда осы пар сан (1) системаның шешімі болып табылады. Осындай барлық парлар жиыны осы системаның шешімдерінің жиыны болып табылады.
Системаны шешу дегеніміз оның шешімдерінің жиынын табу. Теңдеулер системасы осы теңдеулердің конъюнкциясы болып табылады. Бірсыпыра есептерді шешкенде кейде теңдеулердің конъюнкциясын емес, олардың, дизъюнкциясын қарастыруға тура келеді. Теңдеулердің (f1 (x) = g1 (x))Ú (f2 (x) = g2 (x)) дизъюнкциясын теңдеулердің жиынтығы деп атайды және былай жазылады.
(1) х-тың мәні, егер осы мәнді
апарып қойғанда теңдеулердің ең болмағанды біреуі ақиқат, снадық теңдікке айландыратын болса, (1) жиынтықтың шешімі болады.