Skip to content
Journals Garden

Finite Subsets

  • Finite Subsets #Card
    • $[X]^{<\omega}$ or $\subset_{\text{fin}} X$ denotes the set of all finite subsets of $X$: $$A \subset_{\text{fin}} X \iff (A \subset X \land \text{card } A < \infty)$$

Back

Section titled “Back”

$[X]^{<\omega}$ or $\subset_{\text{fin}} X$ denotes the set of all finite subsets of $X$: $$A \subset_{\text{fin}} X \iff (A \subset X \land \text{card } A < \infty)$$

Lean

Section titled “Lean”

Finset X / Set.Finite