Relazioni d'ordine

---

Index

1. Relazione d’ordine largo
2. Relazione d’ordine stretto
3. Relazione d’ordine totale
4. Relazione d’ordine parziale

---

Relazione d’ordine Largo

Relazione che soddisfa 3 proprietà:

• Riflessiva *
• Anti Simmetrica
• Transitiva

---

Relazione d’ordine Stretto

Relazione che soddisfa 3 proprietà:

• Anti Riflessiva
• Transitiva

---

Relazione d’ordine totale

Le relazioni d’ordine totale mettono in relazione tutti gli elementi dell’insieme.

In questo caso è sempre possibile confrontare ogni elemento con tutti gli altri.

$$\forall a\forall b(aRb\vee bRa)$$

---

Relazione d’ordine Parziale

• Le relazioni d’ordine parziale mettono in relazione solo una parte degli elementi dell’insieme ma non tutti.
  • In questi casi non è sempre possibile confrontare tutti gli elementi tra loro.