Sea el toro máximo de un conjunto de matrices diagonales unitarias. Sea una colección de todos los mapas que rotan rígidamente cada círculo de latitud de la esfera con un ángulo fijo. también es un toro máximo, y demostraremos en este documento que es el límite topológico inf de .