If $$ is a list over an arbitrary set $$ and $$ a function from $$ to some set $$ then $($map $)($rev $)=$ rev$(($map $)).$