>>13278357Yes, if you embed it into a group and it's monoid, it's still monoid.
factory singleton(groupoid) however, should still return same group.
You denoted x as embeded in group, and it's member of group embedding as x with small symbol next to it.
Consider, that's it's groupoid x, and x's member.
Therefore, X is monoid. It means, that from group x every element is group x.
And... what does it means?
