Diferencia entre revisiones de «Número ordinal (teoría de conjuntos)»
Contenido eliminado Contenido añadido
m r2.6.4) (robot Modificado: ar:عدد ترتيبي |
|||
Línea 55:
=== Definición de Von Neumann ===
En lugar de definirlo como una clase de equivalencia, el procedimiento más habitual 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 ''<span class="texhtml">α</span>'' sea [[relación bien fundada|regular]].</ref>
{{definición|1=Un conjunto ''<span class="texhtml">α</span>'' se dice un '''ordinal''' si:
#Es un [[conjunto transitivo]], esto es, todos sus elementos son a su vez subconjuntos.
Línea 62:
:<math>\begin{align}
&1.\ \text{Si }
&2.\ \text{Dados }
\end{align}</math>
}}
| |||