Si "K" es un conjunto de objetos matemáticos del mismo tipo (funciones, formas geométricas, ecuaciones, ...) que representan algunas propiedades de un sistema físico y "G" es un grupo de transformaciones que actúa sobre "K" de tal manera que: