In model theory and related areas of mathematics, a type is an object that, describes how a element or finite collection of elements in a mathematical structure might behave.
A matematikai logikában közelebbről a modellelméletben típuson egy elsőrendű nyelv x1, x2, …, xn változósorozatát tartalmazó adott p 