Finite Subsets
QUESTION
Finite Subsets
Click to reveal answer ANSWER
$[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)$$
Click to see question - ソースノート: chapter1.md
- カードID: finite-subsets
- 状態: active