If one subgroup contains the other, their union is the larger subgroup. Conversely, if neither contains the other, choose and . If the union were a subgroup it would contain . If , then , a contradiction; if , then , again a contradiction. Thus
The union of two subgroups cannot generally be treated like their generated subgroup.