Definition:Recursively Defined Mapping