Como señalé en los comentarios, estoy algo sorprendido por esta definición, pero voy a intentarlo. Tienes un conjunto, y los puntos en él se están moviendo con el paso del tiempo, y $\Phi$ está siguiendo el movimiento. Piensa en $T$ como el tiempo. $\Phi(0,x)=x$ dice que en el tiempo cero los puntos están en sus lugares de inicio. La tercera condición dice que si miras dónde están los puntos después de $t_1$ segundos (o días, o siglos, lo que sea), y luego miras dónde están $t_2$ segundos después, descubres dónde están después de $t_1+t_2$ segundos.
Solo que todo se está haciendo en una mayor generalidad. He estado pensando en $T$ como tiempo, que naturalmente es un intervalo en el caso continuo, o los enteros o los naturales en el caso discreto, pero quien escribió esa definición quiere permitir que $T$ sea un monoide arbitrario. Y he estado pensando en $M$ como un conjunto de puntos en la recta, o en el plano, o en el espacio tridimensional, pero el autor pretende que sea cualquier conjunto abstracto. Así que no tanto he explicado la definición, sino que te he dado un entorno muy especializado (pero, creo, muy importante) en el que puedes interpretarla.