theorem Th4: :: LATSUBGR:4

for G being Group
for H1, H2 being Subgroup of G
for A being Subset of G st A = the carrier of H1 \/ the carrier of H2 holds
H1 "\/" H2 = gr A