Ultrafilter (極大フィルター / ウルトラフィルター) (Definition II.3.9)
QUESTION
Ultrafilter (極大フィルター / ウルトラフィルター) (Definition II.3.9)
Click to reveal answer ANSWER
A proper filter $\mathcal{U}$ that is maximal with respect to inclusion (i.e., $\mathcal{H} \supset \mathcal{U} \implies \mathcal{H} = \mathcal{U}$ for any proper filter $\mathcal{H}$).
Click to see question - ソースノート: chapter2.md
- カードID: ultrafilter
- 状態: active