Typ

Ein Typ (modelltheoretischer Typ) ist eine Menge von aussagenlogischen (ersten Ordnung) Formeln mit Parametern aus einer festen Parameterbasis A, die mit einer Hintergrundtheorie T konsistent ist; er beschreibt das mögliche erste-Ordnung-Profil (teilweise oder vollständig), das ein Element oder Tupel in Modellen von T erfüllen kann.