Binary function

Set

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


Subset of

Function