Hereditarily countable set

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Hereditarily countable set" – news · newspapers · books · scholar · JSTOR (March 2024) (Learn how and when to remove this message)

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

• Hereditarily finite set
• Constructible universe

References

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

• v
• t
• e