Kvaziuspořádání: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: he:קדם סדר |
Bez shrnutí editace |
||
Řádek 1:
V [[matematika|matematice]] je '''kvaziuspořádání''' (někdy uváděno také jako ''předuspořádání'') taková [[binární relace]], která je [[reflexivní relace|reflexivní]] a [[tranzitivní relace|tranzitivní]]. Pokud tedy tuto relaci značíme „R“, pak pro všechny prvky ''a'', ''b'' a ''c'' z [[množina|množiny]] ''A'' (na které je tato relace definována) platí:
* ''a''R''a'' (reflexivnost)
* ''a''R''b'' ∧ ''b''R''c'' ⇒ ''a''R''c'' (tranzitivita)
| |||