Ordine
Una relazione può essere classificate in diverse tipologie di ordini:
- Ordine largo (esempio la relazione ):
- Riflessiva
- Antisimmetrica
- Transitiva
- Ordine Stretto (esempio <):
- Antiriflessiva
- Transitiva
- Totale:
- Presi due elementi qualsiasi della relazione, questi sono in relazione fra loro:
- Parziale:
- Se