Las RGT forman, en este caso, un semigrupo discreto.