En primer lugar, vamos a obtener algunas definiciones recta.
Definición 1: Un neutro n en un conjunto con una operación binaria * definimos como un elemento n de S tal que para todo s pertenece a S, (s*n)=s y (n*s)=s.
Definición 2: Un inversa i en un conjunto S de un elemento j de S que tiene neutro n y la operación binaria * definimos como un elemento i de S tal que (j*i)=n y (i*j)=n. j y yo no es necesario que vienen como distintos, los textos sólo el uso de letras diferentes para que lleguen como distinto, como suelen hacer a menudo.
Ahora para la operación * en {a, b} se describe en el post original, tenemos b como el neutro. Tenemos (a*a)=b también. Por lo tanto, por definición, 2 elemento "a" de {a, b} califica como su propio inverso. Así, usted tiene un ejemplo sencillo en el post original.