Kernel (核)

• Kernel (核) #Card
  • For a family $\mathcal{A}$ of subsets of $X$, $\operatorname{ker} \mathcal{A} := \bigcap_{A \in \mathcal{A}} A$.

Back

For a family $\mathcal{A}$ of subsets of $X$, $\operatorname{ker} \mathcal{A} := \bigcap_{A \in \mathcal{A}} A$.

Lean

Filter.ker f = ⋂ s ∈ f, s