Lo que no podemos encontrar es un elemento inverso para cada variedad, con lo que podemos decir que las clases de equivalencias de variedades homeomorfas junto con la operación suma conexa forman un semigrupo.