Filter Complementary Set Extension ($\mathcal{F} \setminus A$)

• Filter Complementary Set Extension ($\mathcal{F} \setminus A$) #Card
  • $\mathcal{F} \setminus A := \mathcal{F} \vee (X \setminus A)^\uparrow$.

Back

$\mathcal{F} \setminus A := \mathcal{F} \vee (X \setminus A)^\uparrow$.

Lean

本書独自構成。Lean に直接対応なし