Una discusión más detallada puede hallarse en el apéndice sobre la Teoría de Estructuras Algebraicas.