Para generalizar el concepto de estructura es clave primero dar definiciones generales de los conceptos de operacion y de relacion sobre un conjunto.
Sea \(A\) un conjunto y sea \(n\in\mathbf{N}\). Por una operacion \(n\)-aria sobre \(A\) entenderemos una funcion cuyo dominio es \(A^{n}\) y cuya imagen esta contenida en \(A\). Por una relacion \(n\)-aria sobre \(A\) entenderemos un subconjunto de \(A^{n}\). Notar que por la definicion anterior una relacion 1-aria sobre \(A\) no es ni mas ni menos que un subconjunto de \(A\).
Como venimos viendo, hay una variedad de tipos de estructuras las cuales tienen un sentido o interes matematico claro y todas son de un formato similar, a saber uplas formadas por una primera coordenada que es un conjunto no vacio (llamado el universo de la estructura) y luego ciertas operaciones, relaciones y elementos distinguidos, dependiendo del caso. Otra cosa a notar es que para cada tipo de estructura hay ciertos simbolos fijos que usamos en forma generica para denotar sus relaciones, operaciones y elementos distinguidos. Por ejemplo:
adhocprefix-adhocsufix Para los posets usamos el simbolo \(\leq\) para denotar su relacion 2-aria de orden parcial, en un sentido generico.
adhocprefix-adhocsufix Para el caso de los reticulados terna usamos en forma generica los simbolos \(\mathsf{s}\) e \(\mathsf{i}\) para denotar sus operaciones 2-arias de supremo e infimo
adhocprefix-adhocsufix Para el caso de los reticulados acotados usamos en forma generica los simbolos \(\mathsf{s}\) e \(\mathsf{i}\) para denotar sus operaciones 2-arias de supremo e infimo y los numerales \(0\) y \(1\) para denotar sus elementos distinguidos, a saber minimo y maximo respectivamente.
adhocprefix-adhocsufix Para el caso de los reticulados complementados usamos en forma generica los simbolos \(\mathsf{s}\) e \(\mathsf{i}\) para denotar sus operaciones 2-arias de supremo e infimo, el simbolo \(c\) para denotar su operacion \(1\)-aria de complementacion y los numerales \(0\) y \(1\) para denotar sus elementos distinguidos, a saber minimo y maximo respectivamente.
adhocprefix-adhocsufix Para el caso de los reticulados cuaterna usamos en forma generica los simbolos \(\mathsf{s}\) e \(\mathsf{i}\) para denotar sus operaciones 2-arias de supremo e infimo y el simbolo \(\leq\) para denotar su relacion 2-aria de orden parcial
adhocprefix-adhocsufix Para las median algebras usamos genericamente el simbolo \(M\) para denotar su operacion \(3\)-aria.
adhocprefix-adhocsufix Para los grafos usamos el simbolo \(r\) para denotar en forma generica su relacion 2-aria.
adhocprefix-adhocsufix Para los grafos bicoloreados usamos el simbolo \(r\) para denotar en forma generica la relacion 2-aria del grafo y el simbolo \(R\) para denotar genericamente la relacion 1-aria que determina el bicoloreo
O sea que para cada tipo de estructuras se distinguen tres conjuntos de simbolos:
adhocprefix-adhocsufix un conjunto \(\mathcal{C}\) formado por los simbolos que denotaran genericamente los elementos distinguidos de las estructuras
adhocprefix-adhocsufix un conjunto \(\mathcal{F}\) formado por los simbolos que denotaran genericamente las operaciones de las estructuras
adhocprefix-adhocsufix un conjunto \(\mathcal{R}\) formado por los simbolos que denotaran genericamente las relaciones de las estructuras
Ademas otra informacion importante que se tiene para cada tipo de estructura es la aridad de las operaciones que denotan los simbolos de \(\mathcal{F}\) y la aridad de las relaciones que denotan los simbolos de \(\mathcal{R}\). A esto lo representaremos con una funcion \(a:\mathcal{F}\cup\mathcal{R}\rightarrow\mathbf{N}\) la cual le asocia a cada simbolo de \(\mathcal{F}\cup\mathcal{R}\) la aridad del objeto que denota. Ejemplos:
adhocprefix-adhocsufix Posets: \(\mathcal{C}=\emptyset\ \ \ \ \ \mathcal{F}=\emptyset\ \ \ \ \ \mathcal{R}=\{\leq\}\ \ \ \ a=\{(\leq,2)\}\)
adhocprefix-adhocsufix Reticulados terna: \(\mathcal{C}=\emptyset\ \ \ \ \ \mathcal{F}=\{\mathsf{s},\mathsf{i}\}\ \ \ \ \ \mathcal{R}=\emptyset\ \ \ \ \ a=\{(\mathsf{s},2),(\mathsf{i},2)\}\)
adhocprefix-adhocsufix Reticulados acotados: \(\mathcal{C}=\{0,1\}\ \ \ \ \ \mathcal{F}=\{\mathsf{s},\mathsf{i}\}\ \ \ \ \ \mathcal{R}=\emptyset\ \ \ \ a=\{(\mathsf{s},2),(\mathsf{i},2)\}\)
adhocprefix-adhocsufix Reticulados complementados: \(\mathcal{C}=\{0,1\}\ \ \ \ \ \mathcal{F}=\{\mathsf{s},\mathsf{i},c\}\ \ \ \ \ \mathcal{R}=\emptyset\ \ \ \ a=\{(\mathsf{s},2),(\mathsf{i},2),(c,1)\}\)
adhocprefix-adhocsufix Reticulados cuaterna: \(\mathcal{C}=\emptyset\ \ \ \ \ \mathcal{F}=\{\mathsf{s},\mathsf{i}\}\ \ \ \ \ \mathcal{R}=\{\leq\}\ \ \ \ a=\{(\mathsf{s},2),(\mathsf{i},2),(\leq,2)\}\)
adhocprefix-adhocsufix Median algebras: \(\mathcal{C}=\emptyset\ \ \ \ \ \mathcal{F}=\{M\}\ \ \ \ \ \mathcal{R}=\emptyset\ \ \ \ a=\{(M,3)\}\)
adhocprefix-adhocsufix Grafos: \(\mathcal{C}=\emptyset\ \ \ \ \ \mathcal{F}=\emptyset\ \ \ \ \ \mathcal{R}=\{r\}\ \ \ \ a=\{(r,2)\}\)
adhocprefix-adhocsufix Grafos bicoloreados: \(\mathcal{C}=\emptyset\ \ \ \ \ \mathcal{F}=\emptyset\ \ \ \ \ \mathcal{R}=\{r,R\}\ \ \ \ a=\{(r,2),(R,1)\}\)
Por supuesto aqui es muy importante no confundir los simbolos con las operaciones que eventualmente ellos denotan. O sea en todos los ejemplos anteriores los elementos de \(\mathcal{C}\), \(\mathcal{F}\) y \(\mathcal{R}\) son simbolos, es decir su \(Ti\) es PALABRA.
Lo anterior motiva la siguiente definicion de tipo (de estructura). Antes de darla recordemos que si \(\alpha,\beta\) son palabras cualesquiera, decimos que \(\alpha\) es subpalabra (propia) de \(\beta\) cuando (\(\alpha\notin\{\varepsilon,\beta\}\) y) existen palabras \(\delta,\gamma\) tales que \(\beta=\delta\alpha\gamma\).
Ahora si, nuestra definicion de tipo: Por un tipo (de primer orden) entenderemos una 4-upla \(\tau=(\mathcal{C},\mathcal{F},\mathcal{R},a)\) tal que:
adhocprefix(1)adhocsufix Hay alfabetos finitos \(\Sigma_{1}\), \(\Sigma_{2}\) y \(\Sigma_{3}\) tales:
\(\mathcal{C}\subseteq\Sigma_{1}^{+}\), \(\mathcal{F}\subseteq\Sigma_{2}^{+}\) y \(\mathcal{R}\subseteq\Sigma_{3}^{+}\)
\(\Sigma_{1}\), \(\Sigma_{2}\) y \(\Sigma_{3}\) son disjuntos de a pares.
\(\Sigma_{1}\cup\Sigma_{2}\cup\Sigma_{3}\) no contiene ningun simbolo de la lista
\(\forall\ \exists\;\lnot\;\vee\;\wedge\;\rightarrow\;\leftrightarrow\;(\;)\;,\;\equiv\mathsf{X\;}\mathit{0}\;\mathit{1\;}...\;\mathit{9}\;\mathbf{0}\;\mathbf{1}\ ...\;\mathbf{9}\)
adhocprefix(2)adhocsufix \(a:\mathcal{F}\cup\mathcal{R}\rightarrow\mathbf{N}\) es una funcion que a cada \(p\in\mathcal{F}\cup\mathcal{R}\) le asocia un numero natural \(a(p)\), llamado la aridad de \(p\).
adhocprefix(3)adhocsufix Ninguna palabra de \(\mathcal{C}\) (resp. \(\mathcal{F}\), \(\mathcal{R}\)) es subpalabra propia de otra palabra de \(\mathcal{C}\) (resp. \(\mathcal{F}\), \(\mathcal{R}\)).
Notese que los elementos de \(\mathcal{C}\), \(\mathcal{F}\) y \(\mathcal{R}\) pueden ser palabras y no solo simbolos como en los casos de los tipos de estructuras conocidas. Mas adelante cuando definamos las formulas de tipo \(\tau\) se entenderan las restricciones puestas en (c) de (1) y en (3).
A los elementos de \(\mathcal{C}\) (resp. \(\mathcal{F}\), \(\mathcal{R}\)) los llamaremos nombres de constante (resp. nombres de funcion, nombres de relacion) de tipo \(\tau\). Para cada \(n\in\mathbf{N}\), definamos \[\begin{aligned} \mathcal{F}_{n} & =\{f\in\mathcal{F}:a(f)=n\}\\ \mathcal{R}_{n} & =\{r\in\mathcal{R}:a(r)=n\} \end{aligned}\] Al tipo \((\emptyset,\emptyset,\{\leq\},\{(\leq,2)\})\) lo llamaremos el tipo de los posets. Al tipo \((\emptyset,\{\mathsf{s},\mathsf{i}\},\emptyset,\{(\mathsf{s},2),(\mathsf{i},2)\})\) lo llamaremos el tipo de los reticulados terna. Al tipo \[(\{0,1\},\{\mathsf{s},\mathsf{i}\},\emptyset,\{(\mathsf{s},2),(\mathsf{i},2)\})\] lo llamaremos el tipo de los reticulados acotados. Al tipo \[(\{0,1\},\{\mathsf{s},\mathsf{i},c\},\emptyset,\{(\mathsf{s},2),(\mathsf{i},2),(c,1)\})\] lo llamaremos el tipo de los reticulados complementados. Al tipo \[(\emptyset,\{\mathsf{s},\mathsf{i}\},\{\leq\},\{(\mathsf{s},2),(\mathsf{i},2),(\leq,2)\})\] lo llamaremos el tipo de los reticulados cuaterna. Al tipo \((\emptyset,\{M\},\emptyset,\{(M,3)\})\) lo llamaremos el tipo de las median algebras. Al tipo \((\emptyset,\emptyset,\{r\},\{(r,2)\})\) lo llamaremos el tipo de los grafos. Al tipo \[(\emptyset,\emptyset,\{r,R\},\{(r,2),(R,1)\})\] lo llamaremos el tipo de los grafos bicoloreados.
Algunos ejemplos de tipos:
adhocprefix(E1)adhocsufix \((\{\mathrm{uno},\mathrm{doli}\},\{\mathrm{MAS},\mathrm{P}\},\{\mathrm{Her}\},a)\), con \(a\) dado por \(a(\mathrm{MAS})=4\), \(a(\mathrm{P})=1\) y \(a(\mathrm{Her})=3\).
adhocprefix(E2)adhocsufix \((\{0,1\},\{+,\times\},\emptyset,a)\), con \(a\) dado por \(a(+)=2\) y \(a(\times)=2\).
adhocprefix(E3)adhocsufix \((\{\square\},\{\clubsuit\clubsuit,\mathrm{Pic}\},\{\vartriangleright,\Vert\},a)\), con \(a\) dado por \(a(\clubsuit\clubsuit)=6\), \(a(\mathrm{Pic})=1\), \(a(\vartriangleright)=4\) y \(a(\Vert)=1\)
adhocprefix(E4)adhocsufix \((\{\mathrm{dod},\mathrm{dood},\mathrm{doood},...\},\{\mathrm{Fu}\},\{\mathrm{He}\},a)\), con \(a\) dado por \(a(\mathrm{Fu})=1\) y \(a(\mathrm{He})=3\). Notese que este tipo tiene infinitos nombres de constante.
Observacion: No deberiamos confundir el concepto de tipo aqui desarrollado, que esencialmente representa un “tipo de estructuras”, con el “tipo de objeto matematico” dado por la funcion \(Ti\). Esta funcion asigna a cada objeto matematico una palabra que describe que tipo de objeto matematico es dentro de un menu bien definido de tipos de objetos matematicos.