Definition:Successor Mapping on Von Neumann Construction