Partial Type

A partial type (partial n-type) is a consistent set of first-order formulas with parameters in a chosen tuple of variables that describes some properties a prospective tuple may satisfy but is not required to decide every formula in those variables; it admits at least one model-theoretic realization or extension and can be extended to a complete type.