Tychonoff space
A topological space is said to be completely regular
if whenever is closed and then there is a continuous function
with and .
A completely regular space that is also (http://planetmath.org/T0Space) (and therefore Hausdorff (http://planetmath.org/T2Space))is called a Tychonoff space, or a space.
Some authors interchange the meanings of ‘completely regular’ and ‘’ compared to the above.
It can be proved that a topological space is Tychonoffif and only if it has a Hausdorff compactification.