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



சமன்பாடுகள்
மாறிகள்
ஒருபடிச் சமன்பாட்டுத் தொகுதிகளின் வகைகள்
செயல்களின் வரிசை