Considere la posibilidad de seguir dos grupos infinitos: grupo de todas las permutaciones de números naturales (es decir, grupo de todas las bijections <span class="math-container">%-%-%</span>) y el grupo de todas las rotaciones de un plano. ¿El grupo de permutaciones contiene el subgrupo isomórfico al grupo de rotaciones?
Ambos grupos tienen cardinalidad del continuo, por lo que las consideraciones de cardinalidad simples no funcionan.
