Definition:Fully Normal Space

Definition
Let $T = \struct {S, \tau}$ be a topological space.

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

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

Also see

 * Fully Normal Space is Normal Space


 * Definition:Fully T4 Space