TeoremA de Buen Orden
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
La afirmación de que todo conjunto puede equiparse con un buen orden, es decir, existe una relación binaria que es un orden total y en la que todo subconjunto no vacío tiene un menor elemento.
TeoremA de Buen Orden
- Mathematics & Logic -
Pure Mathematics Dictionary
Definición
Afirmación de que todo conjunto puede equiparse con un buen orden — un orden total en el que cada subconjunto no vacío tiene un elemento mínimo. En teoría de conjuntos esto es equivalente al Axioma de Elección (sobre ZF).