[089](Svolto il 2023-01-17) Date un esempio di un insieme totalmente ordinato \((X,≤_ X)\) che ha minimo, e di un segmento iniziale \(S\) tali che \((X,≤_ X)\) e \((S,≤_ X)\) sono equiordinati.
[08B]↺↻