El "diagrama de subgrupos" es la presentación gráfica de las relaciones de inclusión entre un grupo y sus subgrupos.