Relacja przechodnia: Różnice pomiędzy wersjami

Rozmiar się nie zmienił ,  10 lat temu
brak opisu edycji
: <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 [[złozeniazłozenie relacji|składania relacji binarnych]].
 
== Przykłady ==
6079

edycji