Diferencia entre revisiones de «Número ordinal (teoría de conjuntos)»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 66:
De la definición dada por von Neumann puede probarse:
{{teorema|1=#Un ordinal es un conjunto bien ordenado por la relación de
#Los elementos de un ordinal son ordinales también. (Por tanto, un ordinal es el conjunto de todos los ordinales menores que él).
#La ''colección de todos los ordinales'' está a su vez bien ordenada por la relación de pertenencia, o sea:
| |||