Resumiendo, Klein define soterradamente una geometría como dar el subgrupo de las biyecciones de un conjunto en sí mismo que uno admitirá como "grupo principal".