Restriction of a Filter (フィルターの制限)

• Restriction of a Filter (フィルターの制限) #Card
  • The filter $\mathcal{F} \vee A := \mathcal{F} \vee {A}^\uparrow$.

Back

The filter $\mathcal{F} \vee A := \mathcal{F} \vee {A}^\uparrow$.

Lean

Filter.comap による制限 / 部分集合への trace f ⊓ 𝓟 s