Definiții Editați
Să fie dat un set
- O relație binară se numește preorder (sau cvasi-ordine) dacă este tranzitivă și reflexivă, adică,
- O relație binară se numește raportul unei ordini parțiale non-stricte (sau a unei ordini nestricane), dacă este tranzitorie, antisimetrică și reflexivă, adică,
- O relație binară se numește o relație strict ordonată parțială (sau o ordine strictă) dacă este transitivă și asimetrică, adică,
- Un set pe care se definește o comandă parțială se numește parțial comandat.
- Raportul comenzii este completă, adică așa, ceea ce se numește o ordine completă. Un set pe care este definită ordinea completă se numește ordonat complet (sau un lanț).
Proprietăți Editați
- O comandă completă este întotdeauna nestricătoare.
- Dacă este o ordine non-strictă, atunci esența ordinii stricte corespunzătoare acesteia.
- Pe de altă parte, în cazul în care o ordine strictă, apoi - procedura corespunzătoare laxe.