Tychonoff memberi kekompakan dan proyeksi memisahkan titik, sehingga kubus Hausdorff. Indeks terhitung memberi metrik deret berbobot. Indeks takterhitung menolak basis lokal terhitung melalui koordinat yang tidak pernah dibatasi. Dalam topologi kotak, semua koordinat dapat dibatasi sekaligus dan argumen kekompakan Tychonoff tidak berlaku.