Properties:

  • For S closed,

Theorem 1: is a closed set Theorem 2: is open is closed