Введение в системы управления базами данных
Обычно отношение эквивалентности обозначают знаком
Определение 8
. Отношение
называется отношением эквивалентности, если оно обладает следующими свойствами:
(рефлексивность)
- Если
(симметричность)
- Если
, то 
и говорят, что оно (отношение) задано на множестве 
). Условия 1-3 в таких обозначениях выглядят более естественно:
(рефлексивность)
- Если
(симметричность)
- Если
, то 
разбивается на взаимно непересекающиеся подмножества, состоящие из эквивалентных друг другу элементов (классы эквивалентности).
