G {displaystyle G} һәм H {displaystyle H} xa0— ике төркөм булһын, ти. f : G → H {displaystyle fcolon Gto H} биекцияһы, әгәр теләһә ниндәй a , b ∈ G {displaystyle a,;bin G} өсөн f ( a ) f ( b ) = f ( a b ) {displaystyle f(a)f(b)=f(ab)} булһа, изоморфизм тип атала.