Reescriu l'oració sense canviar-ne el significat:
Això defineix , com és habitual en les propietats universals , fins a un isomorfisme canònic .
Com és habitual en les propietats universals , això defineix fins a un isomorfisme canònic .