Процес зведення явищ, об’єктів або понять до певного типу, виявлення в них спільних, типових ознак; класифікація за типами.
У техніці та проектуванні: уніфікація виробів, деталей, конструкцій шляхом використання типових, однакових елементів.
У програмуванні: визначення та застосування типів даних для змінних, функцій тощо, що дозволяє класифікувати дані та перевіряти їхню коректність на етапі розробки.