Si las estructuras son conjuntos, entonces los isomorfismos entre dos conjuntos X, Y son simplemente funciones biyectivas.