theorem Th48: :: GROUP_24:8

for G being Group
for A being Subset of G st A = the carrier of G holds
gr A = multMagma(# the carrier of G, the multF of G #)