Hispanopedia WikiEn la teoría de conjuntos , un conjunto se denomina hereditariamente contable si es un conjunto contable de conjuntos hereditariamente contables.
Resultados
La definición inductiva anterior está bien fundada y puede expresarse en el lenguaje de la teoría de conjuntos de primer orden .
Propiedades equivalentes
Un conjunto es contable hereditariamente si y sólo si es contable, y cada elemento de su clausura transitiva es contable. [1]
Véase también
Referencias
- ^ "Sobre conjuntos contables hereditariamente" de Thomas Jech .