Esercizi
[21Y]Prerequisiti:[071],[07V].Siano \((X_ 1,≤_ 1)\), \((X_ 2,≤_ 2)\) due insiemi disgiunti e ordinati (parzialmente) e con lo stesso tipo d’ordine. Sia \(I=\{ 1,2\} \) con l’usuale ordinamento; sia \(Z=I× X_ 1\) dotato dell’ordinamento lessicografico; sia \(W\) la concatenazione di di \(X_ 1\) con \(X_ 2\): mostrate che \(Z\) e \(W\) hanno lo stesso tipo d’ordine.
Soluzione 1