[08C]Prerequisiti:[086].(Proposto il 2022-12) Siano \((X,≤_ X)\) e \((Y,≤_ Y)\) bene ordinati; supponiamo che esista \(f:X→ T\) funzione bigettiva monotona strettamente crescente, dove \(T\) un segmento iniziale di \(Y\); allora \(f\) è unica (e unico è \(T\)).
