Orden bien fundamentado
De Wikipedia, la enciclopedia libre
Este artículo o sección necesita ser wikificado con un formato adecuado a las convenciones de estilo de Wikipedia.
Por favor, edítalo para cumplir con ellas. No elimines este aviso hasta que lo hayas hecho. ¡Colabora wikificando!
En matemáticas, una relación binaria, R, es bien-fundamentada (o bienfundamentada) en una clase X si y sólo si todo subconjunto no vacío de X tiene un elemento R-minimo; esto es, para todo subconjunto no vacío S de X , hay un elemento m de S tal que para todo elemnto s de S, el par (s,m) no esta en R.
Equivalentemente una relación es bien-fundamentada si y sólo si contiene cadenas descendientes infinitas no contables: esto es, no hay secuancia infinita x0, x1, x2, ... de elementos de X tal que xn+1 R xn para todo numero natural n.
En la teoría del orden, un orden parcial es llamado bien-fundamentado si el orden estricto correspondiente es una relación bien-fundamentada. Si el orden es un orden total entonces es llamado un buen-orden.
