Relacja spójna: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
dopracowanie
błąd
Linia 1:
Dwuczłonowa '''relacja spójna''' R naw zbiorze <math>X^2</math> to taka [[relacja]], która spełnia następujący warunek:
 
<math> \forall x,y \in X \quad (x,y) \in R \, \vee \, (y,x) \in R \, \vee \, x=y </math>
 
Oznacza to, że każde dwa elementy zbioru X są porównywalne.
 
Przykładem relacji spójnej jest relacja większości na zbiorze [[Liczby naturalne|liczb naturalnych]]. Jeśli weźmiemy dowolne dwie liczby naturalne to albo są one równe albo jedna z nich jest większa od drugiej.