Definition:Fully Normal Space

Definition
Let $T = \left({S, \tau}\right)$ be a topological space.

$T$ is fully normal :
 * $T$ is fully $T_4$
 * $T$ is a $T_1$ (Fréchet) space.

That is, $T$ is fully normal :
 * Every open cover of $S$ has a star refinement
 * All points of $T$ are closed.

Also see

 * Fully Normal Space is Normal Space