Relacja przechodnia: Różnice pomiędzy wersjami

Dodane 31 bajtów ,  9 lat temu
brak opisu edycji
m (r2.7.3) (Robot poprawił fr:Relation transitive)
: <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 ==
6079

edycji