Principal Filter (主フィルター) (Definition II.2.4)
QUESTION
Principal Filter (主フィルター) (Definition II.2.4)
Click to reveal answer ANSWER
A filter having a finite filter-base. A proper principal filter is generated by a single non-empty set $B \subset X$, i.e., $\mathcal{F} = \{B\}^\uparrow$.
Click to see question - ソースノート: chapter2.md
- カードID: principal-filter
- 状態: active