Tipo Parcial

Un tipo parcial (tipo n-parcial) es un conjunto consistente de fórmulas de primer orden con parámetros en un tuplo de variables elegido que describe algunas propiedades que un tuplo potencial puede satisfacer pero que no decide necesariamente todas las fórmulas en esas variables; admite al menos una realización o extensión y puede extenderse a un tipo completo.