Por otro lado, muchos conjuntos interesantes tienen al mismo tiempo una estructura algebraica y una estructura de variedad "compatibles".