>>310 For example, a isomorphism between groups is a bijection between the underlying sets such that the unit, inverse and multiplication are preserved.