Kvaziuspořádání: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
revert |
||
Řá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]]
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.
| |||