Cofinite Subset (余有限集合)

• Cofinite Subset (余有限集合) #Card
  • A subset $A$ of a set $N$ is called cofinite if $N \setminus A$ is finite.

Back

A subset $A$ of a set $N$ is called cofinite if $N \setminus A$ is finite.

Lean

補有限集合：sᶜ.Finite。フィルターとしては Filter.cofinite