Idempotent function

Set

context $X$ … set
definiendum $ f\in \mathrm{it}(X) $
postulate $ f:X\to X $
postulate $ f\circ f=f $

Discussion

Parents

Subset of

Unary operation