This criterion leads to a proof (Kelley, 1950) of Tychonoff's theorem, which is, word for word, identical to the Cartan/Bourbaki proof using filters, save for the repeated substitution of "universal net" for "ultrafilter base".
Kryterium to prowadzi do dowodu (Kelley, 1950) twierdzenia Tichonowa, które jest identyczne słowo w słowo z dowodem Cartana/Bourbakiego wykorzystującym filtry z wyjątkiem zmiany wyrażenia „uniwersalny ciąg uogólniony” na „baza ultrafiltra”.