Hemos dado, via las definiciones de tipo y de estructura de tipo \(\tau\), un modelo matematico preciso del concepto intuitivo de estructura que veniamos acuñando en los capitulos anteriores. Esto es un salto importante ya que ahora tenemos una definicion matematica de lo que es una estructura en general y no solo un puñado de definiciones matematicas de ciertas estructuras particulares. Hemos encontrado la esencia del concepto intuitivo de estructura que veniamos acuñando con casos particulares en las primeras guias. La modelizacion es bastante sofisticada al punto que ninguna de las estructuras concretas antes estudiadas es estrictamente hablando una estructura de tipo \(\tau\), aunque cada tipo de estructura concreta estudiada tiene su "version" dentro de esta definicion general de estructura de tipo \(\tau\), version que es “esencialmente” el mismo objeto. Por ejemplo, para el tipo de los reticulados complementados \[\tau=(\{0,1\},\{\mathsf{s},\mathsf{i},c\},\emptyset,\{(\mathsf{s},2),(\mathsf{i},2),(c,1)\})\] las estructuras de tipo \(\tau\) que modelizan a los reticulados complementados son precisamente aquellas estructuras \((A,i)\) tales que \[(A,i(\mathsf{s}),i(\mathsf{i}),i(c),i(0),i(1))\] es un reticulado complementado. Obviamente estas estructuras no son estrictamente hablando reticulados complementados, pero esencialmente son la misma cosa.
La utilidad de este nuevo concepto general de estructura ira quedando clara a medida que avancemos. Cabe destacar que este concepto general de estructura no solo ha sido clave en el desarrollo de la logica matematica sino que tambien ha sido crucial en el desarrollo de la informatica teorica, mas precisamente en el area de las especificaciones algebraicas, ya que la versatilidad del concepto de estructura eterogenea (una generalizacion natural de nuestro concepto de estructura) ha permitido crear una teoria de amplio alcance y modelizacion de la idea de la especificacion de tipos abstractos de datos.