This defines , as is usual for universal properties , up to a canonical isomorphism . As usual for universal properties , this defines up to a canonical isomorphism .
Ini mentakrifkan, seperti biasa untuk sifat sejagat, sehingga isomorfisme kanonik. Seperti biasa untuk sifat sejagat, ini mentakrifkan sehingga isomorfisme kanonik.