Sea la variedad M y una correspondencia F1 de una carta local de M al sistema euclideo S1 (real de 4 dimensiones). Entonces, uno puede representar el movimiento del móvil M1 en S1 y supongamos que es una recta. Lo mismo puedo hacer para M2 en S2. Entonces uno dice que el móvil M2 se mueve con movimiento uniforme respecto de M1 en la variedad M, si en sus representaciones euclideas existe una transformada de Galileo entre móviles. Es decir si F1(F2^(-1)):M es una transformada de Galileo.