群G,G'が同型とは、G,G'の間に同型写像が存在すること

環におけ同型とは、ふたつの環の間に環同型が存在すること