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

நேரியச் சமன்பாடுகளின் தொகுப்பு
இயற்கணிதக் கோவைச் சமன்பாடுகள்
நீக்கல் முறை
தீர்வு