[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]βΊβ»