Binary function
Set
context
$X,Y$
definiendum
$ f\in \text{it}(X,Y) $
postulate
$ f:X\times X\to Y $
Subset of
Function