Definizione
72
[1Y5] Una relazione d’ordine (o ordinamento) è una relazione fra elementi di \(A\) che gode delle proprietà: riflessiva, antisimmetrica, transitiva.
Una relazione d’ordine è totale se tutti gli elementi sono comparabili, cioè se per ogni \(a,b ∈ A\) si ha \(aRb ∨ bRa\).
(Quando una relazione d’ordine non è totale, si dice che è parziale).
In genere si usano simboli come “\(≤\)” o “\(⊆\)” o “\(⪯\)” o simili.