Философская энциклопедия - абстракция отождествления

АБСТРАКЦИЯ ОТОЖДЕСТВЛЕНИЯ

одна из осн. абстракций математики и логики, позволяющая говорить об одинаковых объектах как об одном и том же объекте. А. о. представляет собой «образование абстрактного понятия путём объединения, отождествления предметов, связанных отношением типа равенства, путём отвлечения (абстрагирования) от всех различий таких предметов» (А. А. Марков).

см. Алгоритм.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.