En términos más formales, se puede decir que una RGT es una transformación abstracta de uno de los dos tipos siguientes: