Domain of the inverse of the generating function or mapping equations

For  functional iteration is used for the functional representation of the inverse map projection [SNYD]. Superscripts involving m indicate elements in the iteration sequence.