Является ли отношением эквивалентности следующее бинарное отношение. Отношение ρ называется отношением эквивалентности (или просто эквивалентностью)

Дадим вначале основные определения.

Отношение называется отношением эквивалентности (или просто эквивалентностью), если оно:

1) рефлексивно;

2) симметрично;

3) транзитивно.

Отношение называется рефлексивным на множестве Х, если для любого элемента имеет место .