for x being object
for G being non empty Group-like multMagma
for H being Subgroup of G st x in H holds
x in G