# OnePointCompletionFunctions2(R, S)¶

map(f, r) lifts f and applies it to r, assuming that f(infinity) = infinity.
map(f, r, i) lifts f and applies it to r, assuming that f(infinity) = i.