Tipo

Un tipo (tipo en teoría de modelos) es un conjunto de fórmulas de primer orden con parámetros tomados de un conjunto fijo A que es consistente con una teoría T; describe el perfil de primer orden —parcial o completo— que un elemento o tupla puede satisfacer en modelos de T.