Na teoria do modelo e áreas relacionadas da matemática, um tipo é um objeto que, falando livremente, descreve como um elemento ou elementos em uma estrutura matemática podem se comportar.
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.