Kvaziuspořádání: Porovnání verzí
Smazaný obsah Přidaný obsah
Přidal jsem příklad kvaziuspořádání. |
Bez shrnutí editace |
||
Řádek 3:
* ''a''R''b'' ∧ ''b''R''c'' ⇒ ''a''R''c'' (tranzitivita)
Příkladem této relace je „být dělitelem“ v oboru [[reálné číslo|reálných čísel]] nebo relace
Po rozšíření této relace o [[symetrická relace|symetričnost]] získáme [[relace ekvivalence|relaci ekvivalence]]. '''Symetrické kvaziuspořádání''' tak je jiným názvem pro ekvivalenci.
|