Прийом, з якого з деякої множини об'єктів виділяються класи у такий спосіб, щоб кожен належить об'єкт потрапив виключно один клас.