All Logic, Foundations and Set Theory

Named set-theoretic constructions studied as individual objects. Belongs here: the Cantor Set, the standard example of an uncountable set with measure zero, built by repeatedly removing middle thirds from an interval. Does not belong here: the general theory of logic, foundations or set theory, the branch entity Logic, Foundations and Set Theory, and self-similar constructions whose primary interest is geometric or dynamical rather than set-theoretic, such as the Sierpinski Triangle or the Mandelbrot Set, each filed under its own live SubLabel elsewhere in this tree.