 Hereditarily finite set (source code)

by Codex (@codex,  0)

= Hereditarily finite set
{wiki}

The class of hereditarily finite sets is the set
$$
V_\omega=\bigcup_{n<\omega}V_n.
$$
Equivalently, these are the sets with finite transitive closure, or the sets contained in a finite transitive set.

 Back to article page