El espectro primo de un anillo conmutativo con unidad es un espacio topológico compacto T0 ; además, el espectro es un espacio T9 si y solo si, cada ideal primo del anillo es maximal. Estableceremos una condición sobre los homomorfismos de anillos con espectro T9 para que los morfismos inducidos en la categoría de espacios compactos Hausdorff sean epimorfismos.
