Numero ordinale (teoria degli insiemi): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →Bibliografia: Bot: fix overlinking (v. richiesta) |
|||
Riga 74:
<div style="float:center; width:85%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left">
Un insieme ''S'' è un ordinale se e solo se ''S'' è totalmente ordinato rispetto all'[[
L'insieme ''S'' risulta così automaticamente bene ordinato rispetto all'inclusione. Questo fatto si basa sull'[[assioma di regolarità|assioma di fondazione]]: ogni insieme non vuoto ''S'' contiene un elemento ''a'' che è [[disgiunzione|disgiunto]] da ''S''.
| |||