Searching map area
idempotent function
? TBD
function f such that its composition with itself equals f