Relacja równoważności
Z Wikipedii
Relacja równoważności to każda relacja, która jest jednocześnie zwrotna, symetryczna i przechodnia:
Relację dwuczłonową 
nazywamy relacją równoważności gdy zachodzi:
(zwrotność),
(symetryczność),
(przechodniość).
Relację równoważności zapisuje się zwykle 
albo 
. Dwa elementy 
(gdzie X jest zbiorem na którym określono tą relację) takie, że 
nazywamy równoważnymi.
Relacja równoważności określona na danym zbiorze wyznacza podział tego zbioru na tak zwane klasy abstrakcji (klasy równoważności) i w dalszej konsekwencji tak zwaną przestrzeń ilorazową tej relacji. Relacje równoważności wykorzystuje się np. przy definiowaniu liczb całkowitych, wymiernych, rzeczywistych.
[edytuj] Przykłady
- równość,
- tożsamość.
