Абстракция тождественности, абстракция равенства.

Равенство, тождество, эквивалентность, равносильность, изоморфизм, биекция, подобие, сходство, гомоморфизм, сопоставление.

тождество объектов
одинаковость структур
одинаковость элементов

тождество образов объектов
a и b эквивалентны, если для любых преобразований f выполняется f(a)=f(b)


Марков А. А. О конструктивной математике tm1756.pdf

https://ru.wikipedia.org/wiki/Равенство_третьему
https://ru.wikipedia.org/wiki/Равенство_(математика)
https://ru.wikipedia.org/wiki/Логическая_эквивалентность
https://ru.wikipedia.org/wiki/Отношение_эквивалентности
https://ru.wikipedia.org/wiki/Эквивалентность_категорий

https://en.wikipedia.org/wiki/Setoid

Мне примерно всё понятно про равенство, но вот надо записать свои представления, для этого надо сделать список/обзор, вот делаю. )

Если я что-то пропустил, просьба добавить в комментах.