gpg -vv -r myid -e -a name, on Nostr: A semiqroup , a ring, a group , an abelian group , an idempotent group , a quasiring ...

A semiqroup , a ring, a group , an abelian group , an idempotent group , a quasiring , a lattice go to a bar .. and a monoid enters and all of them scream , who are you ? Why are you here , with us.
Monoid - check your laws