Kvaziuspořádání: Porovnání verzí

Smazaný obsah Přidaný obsah
YurikBot (diskuse | příspěvky)
m robot přidal: pl:Praporządek
Singularita (diskuse | příspěvky)
typos
Řádek 1:
V [[matematika|matematice]] je '''kvaziuspořádání''' taková [[binární relace]], která je [[reflexivní relace|reflexivní]] a [[transitivnítranzitivní relace|transitivní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'' (transitivitatranzitivita)
 
Příkladem této relace je „být dělitelem“ v oboru [[reálné číslo|reálných čísel]].