formula_2 எனும் சமஅமைவியம், G இன் முற்றொருமை உறுப்புடன் H இன் முற்றொருமை உறுப்பை இணைக்கிறது: 

அதேபோல் "G" இல் உள்ள நேர்மாறு உறுப்பை "H" இல் அதற்கொத்த நேர்மாறு உறுப்புடன் இணைக்கிறது:

பொதுவாக,

மேலும் "f" இன் நேர்மாறு formula_42 ம் ஒரு குல சம அமைவியம்.

"சமஅமைவியமானது" என்ற உறவு, ஒரு சமான உறவிற்கான அனைத்து அடிக்கோள்களையும் நிறைவுசெய்கிறது.

formula_2 என்பது சமஅமைவியம் எனில் G இல் உண்மையாக அமையும் கூற்றுகளில் குல அமைப்புத் தொடர்பானவற்றை மட்டுமே f மூலம் H இல் அமையும் உண்மைக்கூற்றுகளாக மாற்றமுடியும் (அதேபோலத்தான் H லிருந்து G க்கும்).

எடுத்துக்காட்டுகள்
விளைவுகள்
தன்னமைவியம்
சுழற் குலங்கள்