Buonasera,
Def. Sia $(S,le)$ insieme ordinato, si dice induttivo se ogni sua parte totalmente ordinata è superiormente limitata.
Ai tempi del corso scrissi: $(P(S), subseteq)$ induttivo.
Quindi dovrei provare che $forall X subseteq P(S)$ con $X$ totalmente ordinata risulti ammettere maggioranti.
La cosa che mi incuriosisce è la parte $X$ totalmente ordinata, cioè cosa vuol dire una parte totalmente ordinata rispetto a $subseteq$ in $P(S).$
Ciao.