This is an old revision of the document!

Binary function

Set

context $X,Y$
definiendum $ f\in \text{it}(X,Y) $
postulate $ f:X\times X\to Y $

Discussion

Parents

Subset of

Function

Link to graph
Log In
Improvements of the human condition
limeGraphxioms