Wikipedia

Relacja przechodnia: Różnice pomiędzy wersjami

Przeglądaj historię interaktywnie
[wersja przejrzana][wersja przejrzana]
← poprzednia edycjanastępna edycja →
Usunięta treść Dodana treść
WizualnieWikikod
m r2.7.3) (Robot poprawił fr:Relation transitive
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>.
 
RelacjaRównoważnie, <math>R\varrho</math> jest przechodnia dokładnie wtedy, gdy <math>R\varrho\circ R\varrho\subseteq R\varrho,</math> gdzie <math>\circ</math> oznacza działanie [[złożenie relacji|składania relacji binarnych]].
 
== Przykłady ==
Źródło: „https://pl.wikipedia.org/wiki/Relacja_przechodnia”