Def

A set is closed if

  1. It’s complement set is open
  2. All cluster points are in the set

Prop 15.2

𝐶𝑋
TFAE

  1. 𝐶 is closed
  2. C is sequentially Closed