In topology and related branches of mathematics, Tychonoff spaces and completely regular spaces are kinds of topological spaces. These conditions are examples of separation axioms. A Tychonoff space is any completely regular space that is also a Hausdorff space; there exist completely regular spaces that are not Tychonoff (i.e. not Hausdorff).
Paul Urysohn had used the notion of completely regular space in a 1925 paper without giving it a name. But it was Andrey Tychonoff who introduced the terminology completely regular in 1930.