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