# ExpressionSpaceFunctions1(F, S)¶

map(f, p, k) uses the property p of the operator of k, in order to lift f and apply it to k.