sentences:  The theorem depends crucially upon the precise definitions of compactness and of the product topology; in fact, Tychonoff's 1935 paper defines the product topology for the first time.Conversely, part of its importance is to give confidence that these particular definitions are the most useful (i.e.most well-behaved) ones.