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