Unary operation

Set

context $X$ … set
definiendum $ f\in \text{it}(X) $
inclusion $ f:X\to X $

Discussion

Reference

Wikipedia: Unary operation

Parents

Subset of

Binary relation on a set, Function

Link to graph
Log In
Improvements of the human condition
limeGraphxioms