Jika \((X,\tau_2)\) kompak, maka \((X,\tau_1)\) kompak. Kebalikannya tidak selalu benar; pada himpunan tak berhingga, topologi indiskret kompak sedangkan topologi diskret tidak kompak.