В математиці та логіці Матеріальна еквівалентність, або еквівалентність, логічна операція, що відповідає рівності в булевій алгебрі. Логічна еквівалентність – логічне висловлювання, незалежне від моделі.

Логічна рівнозначність або еквівалент (або еквівалентність) — це логічний вираз, який є істинним тоді, коли обидва прості логічні вирази мають однакову істинність. Двомісна логічна операція зазвичай позначається символом ≡ або ↔.

рівнозначний, рівносильний чомусь, що повністю замінює будь-що в будь-якому відношенні ◆ Відсутній приклад вживання (див.

Класом еквівалентності (по відношенню R) по елементу a ∈ A називається множина всіх елементів множини A, еквівалентних a. Клас еквівалентності за елементом a ∈ A позначається [a]R.