Изменения
→Примеры
== Примеры отношений эквивалентности ==
* Отношение ''равенства''(<tex>=</tex>) является тривиальным примером отношения эквивалентности на любом множестве.
* Отношение ''равенства по модулю <tex>k</tex>'': <tex>a \equiv b (\mod~k)</tex> на множестве целых чисел.
* Отношение ''параллельности'' прямых на плоскости.
* Отношение ''подобия'' фигур на плоскости.
{{Определение
|definition =
Система непустых подмножеств <tex>\{M_1, M_2, ...\ldots, M_n, ...\ldots\}</tex> множества <tex>M</tex> называется '''разбиением''' (англ. ''partition'') данного множества, если:* <tex>M = M_1 \cup M_2 \cup ... \ldots \cup M_n \cup ...\ldots</tex>
* <tex>M_i \cap M_j = \varnothing</tex> при <tex>i \neq j</tex>.
Множества <tex>M_1, M_2, ...\ldots, M_n, ...\ldots</tex> называются '''классами''' данного разбиения.
}}
Примерами разбиений являются:
** отношение конгруэнтности<tex>\colon ~ ("\cong ") </tex>
* Разбиение многоугольников по количеству вершин
* Оношение Отношение ''равносильности'' на множестве уравнений
* Отношение [[Мощность множества|равномощности]] множеств
* Отношение ''принадлежать к одному виду'' на множестве животных
* Отношение ''жить в одном городе'' на множестве людей
== Ссылки См. также ==* [[Определение_отношения|Определение отношения]]* [[Рефлексивное_отношение|Рефлексивное отношение]]* [[Симметричное_отношение|Симметричное отношение]]* [[Транзитивное_отношение|Транзитивное отношение]]* [[Отношение_порядка|Отношение порядка]] == Источники информации ==
* [http://ru.wikipedia.org/wiki/Отношение_эквивалентности Wikipedia | Отношение эквивалентности]
* [http://en.wikipedia.org/wiki/Equivalence_relation Wikipedia | Equivalence relation]
