El carácter de semigrupo viene dado por la ausencia, en general, de inversa de una RGT dada.