Added notes on closed sets, etc