Relacja równoważności: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
poprawa przek., źródła -> więcej przypisów, artykuł jest częściowo uźródłowiony, niewielka poprawka w kodzie strony, WP:SK
→‎Definicja: poprawa zapisu matematycznego na bardziej formalny
Linia 8:
:: <math>x\ R\ x</math>
* ''[[relacja symetryczna|symetryczna]]'', tzn. dla dowolnych <math>x, y\in X</math>
:: <math>x\ R\ y</math> pociąga\Rightarrow <math>y\ R\ x</math>,
* ''[[relacja przechodnia|przechodnia]]'', tzn. dla dowolnych <math>x, y, z\in X</math> zachodzi wynikanie
:: jeżeli <math>(x\ R\ y</math> oraz\wedge <math>y\ R\ z</math>, to)\Rightarrow <math>x\ R\ z</math>.
 
Dwa elementy <math>x, y \in X</math> takie, że <math>x\ R\ y</math> nazywa się '''równoważnymi''' lub '''tożsamymi'''. Relacje równoważności oznacza się zwykle symbolami <math>\sim\,</math>, <math>\equiv</math> lub podobnymi.