மதிப்பறியப்பட்ட கணியங்களுக்கும் மதிப்பறியப்படாத கணியங்களுக்கும் இடையேயுள்ள தொடர்புகளை சமன்பாடுகள் தருகின்றன. மதிப்பறியப்படாத கணியங்கள் "x", "y", "z", "w", … எனும் முடிவிலமையும் ஆங்கில எழுத்துக்களாலும், மதிப்பறியப்பட்ட கணியங்கள் "a", "b", "c", "d", … எனும் ஆரம்ப ஆங்கில எழுத்துக்களாலும் குறிக்கப்படுகின்றன. மதிப்பறியப்படாத கணியங்கள் மாறிகள் எனவும் மதிப்பறியப்பட்ட கணியங்கள் மாறிலிகள் எனவும் அழைக்கப்படுகின்றன.

ஒரு சமன்பாட்டிலுள்ள மாறிகளை, அதிலுள்ள மாறிலிகள் மூலமாகக் காண்பது அச்சமன்பாட்டினைத் "தீர்த்தல்" அல்லது "தீர்வு காணல்" எனப்படும். ஒரு மாறியில் அமைந்த சமன்பாட்டில் அச்சமன்பாட்டை நிறைவு செய்யும் அம்மாறியின் மதிப்பு, அச்சமன்பாட்டின் "தீர்வு" அல்லது "மூலம்" எனப்படும். ஒருங்கமைந்த ஒரு சமன்பாட்டுத் தொகுதியிலுள்ள சமன்பாடுகள் ஒன்றுக்கு மேற்பட்ட மாறிகளில் அமைந்திருக்கும். அச்சமன்பாடுகள் அனைத்தையும் ஒருங்கே நிறைவு செய்யும் மாறிகளின் மதிப்புகள் அச்சமன்பாட்டுத் தொகுதியின் தீர்வாகும்.

விளக்கம்
தீர்வு
மாறிகளும் மாறிலிகளும்
முற்றொருமைகள்