Un subgrupo propio de un grupo "G" es un subgrupo "H" que es un subconjunto propio de "G" (es decir "H" ≠ "G").