"P"("X", "X", …, "X") என்பது "n" மாறிகளில் அமைந்த ஒரு பல்லுறுப்புக்கோவை. இப்பல்லுறுப்புக்கோவையின் மாறிகளில் ஒன்றை மற்றொன்றால் பதிலிட்டாலும் பல்லுறுப்புக்கோவையில் மாற்றமில்லையெனில் அது சமச்சீர் பல்லுறுப்புக்கோவை எனப்படும்.

"P"("X", "X", …, "X") ஒரு சமச்சீர் பல்லுறுப்புக்கோவை மற்றும் σ என்பது மாறிகளின் கீழொட்டுகளின் (1, 2, ..., "n") ஏதாவதொரு வரிசைமாற்றம் எனில்:



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