applied successively result in a transformation which also belongs to the system, and which is therefore expressible in the form

where

are certain functions of

and

. The group property thus finds its full expression in a system of functional equations and of itself imposes no additional restrictions upon the functions