# OrderedCompletionFunctions2(R, S)¶

map(f, r) lifts f and applies it to r, assuming that f(plusInfinity) = plusInfinity and that f(minusInfinity) = minusInfinity.
map(f, r, p, m) lifts f and applies it to r, assuming that f(plusInfinity) = p and that f(minusInfinity) = m.