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 většímenší rovno: "≤".
 
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.