На множестве R – действительных чисел заданы следующие отношения: - «число х = числу у»; - «число х больше числа у»; - «число х предшествует числу у»; - «число х делится на число у без остатка».

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

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

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

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

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

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