En teoría de conjuntos, una relación bien fundada sobre una clase X es una relación binaria R sobre X tal que todo subconjunto no vacío de X tiene un elemento R-mínimo; esto es:
Para todo subconjunto no vacío S de X, hay un elemento m en S tal que ningún s en S cumple sRm.
Equivalentemente, si asumimos el axioma de elección, una relación es bien fundada si y sólo si X no contiene cadenas descendientes infinitas numerables: esto es, no hay secuencia infinita x0, x1, x2, ... de elementos de X tal que xn+1R xn para todo número natural n.
Entre las relaciones bien fundadas que no son totalmente ordenadas están:
Ejemplos de relaciones que no son bien fundadas son:
Escribe un comentario o lo que quieras sobre Orden bien fundamentado (directo, no tienes que registrarte)
Comentarios
(de más nuevos a más antiguos)