Date: Feb 28, 2013 11:27 PM
Author: William Elliot
Subject: Michael construction

Let M be a subset of a normal space S. Define S_M as S given the 
base { U, {x} | U open within S, x in M } (Michael construction).

If in addition, S\M is normal, is S_M normal?

It's know that if M is open or if S is hereditarily normal, then S_M is
normal. (Normal is used without requiring Hausdorff.)