Relacja przechodnia: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Nie podano opisu zmian |
Nie podano opisu zmian |
||
Linia 3:
: <math>\forall_{x,y,z \in X}\; ( x \;\varrho\; y \and y \;\varrho\; z ) \Rightarrow x \;\varrho\; z</math>.
Relacja <math>R</math> jest przechodnia dokładnie wtedy, gdy <math>R\circ R\subseteq R,</math> gdzie <math>\circ</math> oznacza działanie [[
== Przykłady ==
|