Relația de comandă, matematică, fandom alimentat de wikia

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ț).

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.