Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
binary_function [2013/09/17 18:11] nikolaj |
binary_function [2013/09/17 18:11] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#88DDEE: $X,Y$ | | | @#88DDEE: $X,Y$ | | ||
- | | @#FFBB00: $ f\in \text{it}(X,Y) $ ^ | + | | @#FFBB00: $ f\in \text{it}(X,Y) $ | |
| @#55EE55: $ f:X\times X\to Y $ | | | @#55EE55: $ f:X\times X\to Y $ | |