Ugye a teljes Tyihonov ("kompakt terek szorzata kompakt") ekvivalens a kivalasztasival.
Ha azonban csak Hausdorff (T_2) terekre teszuk fel a tetelt, akkor a kivalasztasinal gyengebb allitast kapunk.