idempotent_function

Processing math: 100%

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