Definition:Recursively Defined Mapping

Also see

 * Principle of Recursive Definition