Parcijalni uređaj (ili samo uređaj) na skupu binarna relacija koja je
tranzitivna, tj. i implicira
refleksivna, tj. za svaki
antisimetrična, tj. iz i slijedi
gdje su bilo koji elementi u .
Uređaj je linearan ili totalan ako su svaka dva elementa usporediva, tj. vrijedi ili za svaka dva elementa i . Neki udžbenici kažu uređaj misleći na linearni uređaj.
Ako je uređaj i dva uređaja tada kažemo da su oni suprotni ako za svaki par točaka . Ako se uređaj označava s , tada obično suprotni uređaj označavamo s .
Ponekad govorimo i o relacijama strogog uređaja, a uobičajena oznaka je . To je binarna relacija koja je tranzitivna, antisimetrična i
Naravno iz antirefleksivnosti i antisimetrije slijedi da ne može biti istovremeno i .
Svaka relacija uređaja definira jedinstvenu relaciju strogog uređaja sa
Obratno, svaka relacija strogog uređaja definira pripadnu relaciju uređaja sa
Tako dobivamo bijekciju svih uređaja i svih strogih uređaja na istom skupu, pa slobodno možemo koristiti obje, a da smo definirali samo jednu (ako je naravno notacija jasna za obje).
Last revised on February 15, 2018 at 11:43:06. See the history of this page for a list of all contributions to it.