Tanım: G,H iki grup olsun. Eğer ϕ:G→H ve φ:H→G iki monomorifzma( birebir homomorfizma) ise G∼H olur.
Soruda yer alan G∼H neyi ifade etmektedir? Yani bu gruplar izomorf olur mu? yoksa eş güçlü anlamında mı? Ya da başka birşey mi?