Diferencia entre revisiones de «Número ordinal (teoría de conjuntos)»
Contenido eliminado Contenido añadido
reversión vandalismos |
|||
Línea 55:
=== Definición de von Neumann ===
En lugar de definirlo como una clase de equivalencia, el procedimiento más habitual para clasificar los buenos órdenes es escoger un representante canónico, de manera unívoca, en cada una de estas clases. La definición estándar, sugerida por [[John von Neumann]] es:<ref>Esta definición asume el [[axioma de regularidad]]. De otro modo, a la definición se le debería añadir el requisito de que {{math|''α''}} sea [[relación bien fundada|regular]].</ref>
{{definición|1=Un conjunto {{math|''α''}} se dice un '''ordinal''' si:
#Es un [[conjunto transitivo]], esto es, todos sus elementos son a su vez subconjuntos.
| |||