Iseamorfacht
Sa mhatamaitic, is saghas mapála thacar A go tacar B í iseamorfacht: bíodh G ina ghrúpa le heilimintí a, b etc., agus le hoibríocht ○ freisin, bíodh G' ina ghrúpa le heilimintí a', b' etc., agus le hoibríocht ⊕. Ansin, iseamorfacht is ea comhfhreagras 1 le 1 idir G agus G' a shainítear le a ↔ a', b ↔ b', etc., más gá agus más leor, i gcás gach a agus b, go bhfuil a ○ b ↔ a' ⊕ b'   Deirtear go bhfuil na grúpaí G agus G' iseamorfach.

Tagairtí 

Matamaitic
Sa mhatamaitic , is saghas mapála thacar A go tacar B í iseamorfacht : bíodh G ina ghrúpa le heilimintí a , b etc . , agus le hoibríocht ○ freisin , bíodh G ' ina ghrúpa le heilimintí a ' , b' etc . , agus le hoibríocht ⊕ . Ansin , iseamorfacht is ea comhfhreagrasleidir G agus G ' a shainítear le a ↔ a ' , b ↔ b ' , etc . , más gá agus más leor , i gcás gach a agus b , go bhfuil a ○ b ↔ a ' ⊕ b' Deirtear go bhfuil na grúpaí G agus G ' iseamorfach . Tagairtí Matamaitic