Relazione d'ordine: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m errore di VE |
m Bot: accenti |
||
Riga 41:
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.
Sia <math> O </math> un insieme e denotiamo con <math>\,\Delta(O)</math> la '''diagonale''' di <math>\,O\times O</math>,
ad ogni relazione d'ordine largo <math>(O, \leq)</math> è associata la relazione d'ordine stretto <math>\,(O, (\leq ) \setminus (\Delta(O)))</math>; viceversa ad ogni relazione d'ordine stretto <math>(O,<)</math> è associata la relazione d'ordine largo <math>\,(O, \; (<)\; \cup \; (\Delta(O)))</math>.
| |||