Relazione d'ordine: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
FrescoBot (discussione | contributi)
Riga 37:
 
==Ordine largo e ordine stretto==
Alcuni autori<ref name=":0">{{Cita libro|autore=Vincenzo Aversa|titolo=Metodi quantitativi delle decisioni. Algebra ed analisi elementare in una selezione di problemi di scelta|collana=Manuali per l'università|anno=2000|editore=Liguori Editore|città=|pp=12-15|ISBN=9788820731649}}</ref> definiscono relazione d'ordine "stretto" una relazione <math> (A, <) </math> che soddisfi le proprietà [[Relazione antiriflessiva|irriflessivaantiflessiva]], [[Relazione antisimmetrica|antisimmetrica]] e [[Relazione transitiva|transitiva]] (o, equivalentemente e più concisamente, le proprietà [[Relazione asimmetrica|asimmetrica]] e [[Relazione transitiva|transitiva]]), e quindi chiamano relazione d'ordine "largo" la relazione d'ordine <math> (A, \leq) </math>. L'ordine stretto mira a concentrarsi sulla [[Relazione simmetrica|asimmetria]] della relazione, non considerando la riflessività.
 
Benché le due definizioni siano distinte, il loro studio non presenta grosse differenze, in quanto tra le due classi di relazioni sussiste una corrispondenza biunivoca molto semplice.