Diagrama de Subconjuntos El conjunto de subgrupos es un conjunto parcialmente ordenado por la inclusión.