Más formalmente, sea formula_2 un espacio de medida en el que se ha definido un grupo uniparamétrico (o alternativamente semigrupo) de aplicaciones medibles.