definition 3.40 Cardinal

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on definition 3.62 Equipotence ¶
  • depends_on definition 3.65 Countable set ¶
    • depends_on corollary 3.68 The rationals are countable ¶
      • depends_on corollary A.3 The continuum is the power set of the naturals ¶
      • depends_on corollary 3.70 cor:inf-irrationals-uncountable ¶
      • depends_on remark 7.94 Three numbers, two kinds ¶
    • depends_on definition 7.138 Set of measure zero ¶
      • depends_on definition 7.140 Hausdorff measure ¶
        • depends_on definition 7.142 Box-counting dimension ¶
        • depends_on proposition 7.141 The critical exponent, and the Hausdorff dimension ¶
        • depends_on remark 7.144 What is developed here, and what is not ¶
      • depends_on lemma 7.139 A countable union of null sets is null ¶
        • depends_on proposition 7.143 The Hausdorff dimension never exceeds the box dimension ¶
        • depends_on proposition 7.141 The critical exponent, and the Hausdorff dimension ¶ ↺
        • depends_on remark 7.94 Three numbers, two kinds ¶ ↺
      • depends_on proposition 7.141 The critical exponent, and the Hausdorff dimension ¶ ↺
      • depends_on remark 7.144 What is developed here, and what is not ¶ ↺
    • depends_on proposition 3.67 Countability of the plane of naturals ¶
      • depends_on corollary 3.68 The rationals are countable ¶ ↺
      • depends_on lemma 7.139 A countable union of null sets is null ¶ ↺
      • depends_on lemma A.6 Lindenbaum ¶
      • depends_on remark 7.94 Three numbers, two kinds ¶ ↺
    • depends_on theorem 3.69 Uncountability of the continuum ¶
      • depends_on corollary 3.70 cor:inf-irrationals-uncountable ¶ ↺
      • depends_on remark 7.94 Three numbers, two kinds ¶ ↺
  • depends_on proposition 3.63 prop:inf-equipotence-equivalence ¶
  • depends_on theorem 3.72 Cantor–Schröder–Bernstein ¶
• depends_on proposition 3.42 Cardinal of the power set ¶