Definition:T4 Space/Definition 2

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

$T = \struct {S, \tau}$ is $T_4$ each open set $U$ contains a closed neighborhood of each closed set contained in $U$.

Also see

 * Equivalence of Definitions of $T_4$ Space