Rikke Poulsen: closed stationary set
Rikke Poulsen: Open stationary set