Processing math: 100%

Involution

Set

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

Subset of

Unary operation

Link to graph
Log In
Improvements of the human condition
limeGraphxioms