Relazioni d'ordine

Una relazione (e.g. $\le$) si dice d'ordine (o d'ordine parziale) se soddisfa le proprietà:

• Riflessiva
• Antisimmetrica
• Transitiva

D'ordine totale

La relazione si dice d'ordine totale invece, se rispetta anche la proprietà:

• Totalità $$xRy\vee yRx,\forall x,y\in A$$ per cui vale che gli elementi devono essere tutti confrontabili.

D'ordine stretta

Quando soddisfa anche la proprietà antiriflessiva, la relazione si dice d'ordine stretta (e.g. $<$).