EDB — 06J

Esercizi

1. [06J](Proposto il 2022-12) Sia \(X\) insieme non vuoto e \(R⊆ X^ 2\) una relazione d’ordine, allora esiste una relazione di ordine totale \(T\) che estende \(R\) (cioè \(R⊆ T\), considerando le relazioni come sottoinsiemi di \(X^ 2\)).