Más formalmente una entidad se considera invariante bajo un conjunto de transformaciones si la imagen transformada de la entidad es indistinguible de la original.