Discussione:Ordine totale

Da Wikipedia, l'enciclopedia libera.

[modifica] Riflessività

Ho visto che Pokipsy76 ha aggiunto nella definizione la proprietà riflessiva. In realtà mancava perché, come spiega l'articolo, è implicita nella proprietà di ordine totale (cfr. anche l'articolo in inglese da cui questo proviene). Io sarei per non inserire la proprietà riflessiva nella definizione, ma di spiegare meglio perché manca. --zar-(dimmi) 13:46, 17 mar 2006 (CET)

In effetti non avevo pensato a questa sottigliezza... è vero che una definizione che omette la riflessività è più economica ma mi sembra meno "naturale", perchè la parola "ordine totale" suggerisce il fatto che si considera un ordine (con tutte le sue proprietà) e vi si aggiunge la proprietà della totalità. Comunque per me la definizione può andar bene in entrambi i modi, basta che poi si spiega che la riflessività può essere omessa o inclusa senza cambiare le cose.--Pokipsy76 11:26, 18 mar 2006 (CET)

Sono d'accordo sulla minor "naturalità" della definizione. Si potrebbe mettere una nota sulla proprietà riflessiva, allora, spiegando che non è necessaria ma segue dalla totalità. --zar-(dimmi) 11:45, 18 mar 2006 (CET)