це математична модель

відношення в узагальненій формі

якщо один об’єкт еквівалентний

другому, то другий об’єкт еквівалентний першому

два об’єкти еквівалентні між

собою, якщо вони окремо еквівалентні третьому

кожний об’єкт еквівалентний

самому собі