power_op:=lambda(o,m,h)
  if leq(m,1) then h else o(h,power_op(o,-(m,1),h)) endif;
endlambda;

idempotent:=lambda(f,U)
  forall(x in U, equal(f(x),f(f(x))))
endlambda;