Hereditarily_countable_set

Hereditarily countable set

Hereditarily countable set

Add article description

In set theory, a set is called hereditarily countable if it is a countable set of hereditarily countable sets.

Results

The inductive definition above is well-founded and can be expressed in the language of first-order set theory.

Equivalent properties

A set is hereditarily countable if and only if it is countable, and every element of its transitive closure is countable.[1]

See also

References

  1. [1]
    "On Hereditarily Countable Sets" by Thomas Jech.


Stub icon

This set theory-related article is a stub. You can help Wikipedia by expanding it.
Share this article:

This article uses material from the Wikipedia article Hereditarily_countable_set, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.