Oración 1: un isomorfismo entre dos estructuras es un isomorfismo canónico (un mapa canónico que es un isomorfismo) si sólo hay un isomorfismo entre las dos estructuras (como es el caso de las soluciones de una propiedad universal), o si el isomorfismo es mucho más natural (en algún sentido) que otros isomorfismos
Oración 2: para todo número primo, todos los campos con elementos son canónicamente isomorfos, con un isomorfismo único
Conector: por ejemplo,
Relación: entailment
Género: articles