Эквиваленция

Эквиваленция логическое отождествление (≡, тождественно, :=) (логическая операция) – умственное действие, состоящее в приравнивании двух и более признаков (в соглашении считать указанные признаки равнозначащими, говорящими об одном и том же). Результатом логического отождествления является получение синонима, другого имени для уже существующего понятия или суждения.

» Словарь