Definition:T4 Space/Definition 2

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

$T = \left({S, \tau}\right)$ is $T_4$ iff each open set $U$ contains a closed neighborhood of each closed set contained in $U$.

Also see

 * Equivalent Definitions for $T_4$ Space