Processing math: 100%

Idempotent function

Set

context X … set
definiendum f∈it(X)
postulate f:X→X
postulate f∘f=f

Discussion

Parents

Subset of

Unary operation

Link to graph
Log In
Improvements of the human condition
limeGraphxioms