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.
בתורת המודלים, טיפוס הוא אוסף נוסחאות המתארות "התנהגות" של איברים במבנה מתמטי.