idempotent
This note last modified September 1, 2024
(Idempotent
f
)
→
f
(
x
)
=
f
(
f
(
x
)
)