Combinando los criterios para subgrupos y subsemigrupos, tenemos la siguiente proposición.