En la teoría de conjuntos , un conjunto se denomina hereditariamente contable si es un conjunto contable de conjuntos hereditariamente contables.
La definición inductiva anterior está bien fundada y puede expresarse en el lenguaje de la teoría de conjuntos de primer orden .
Un conjunto es contable hereditariamente si y sólo si es contable, y cada elemento de su clausura transitiva es contable. [1]