"T_3\u00BD" . "completely regular space" . . . . "complete regularity" . "Tychonoff_space" . . . "completely regular Hausdorff space" . . "Tychonoff space" . . "Tychonoff spaces" . . "Tychonoff" . "Tychonoff space" . "Tikhonov space" . "completely regular" . . "real-valued continuous functions" . . . . . . .