# Category:Tychonoff Spaces

$\struct {S, \tau}$ is a Tychonoff Space or completely regular space if and only if:
$\struct {S, \tau}$ is a $T_{3 \frac 1 2}$ space
$\struct {S, \tau}$ is a $T_0$ (Kolmogorov) space.