Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
binary_operation [2015/04/12 15:56]
nikolaj
binary_operation [2015/04/17 15:16] (current)
nikolaj
Line 2: Line 2:
 ==== Set ==== ==== Set ====
 | @#55CCEE: context ​    | @#55CCEE: $X$ | | @#55CCEE: context ​    | @#55CCEE: $X$ |
-| @#FFBB00definiendum ​| @#FFBB00: $*\in$ it | +| @#FF9944definition  ​| @#FF9944it $\equiv X\times X\to X$ | 
-| @#55EE55: postulate ​  | @#55EE55: $*:X\times X\to X$ | +
  
 ----- -----
-=== Elaboration ​=== +=== Discussion ​=== 
-This is a binary function with which takes elements of $X$ to an element of $X$ itself.+Also called "law of composition"​. 
 + 
 +It'​s ​is a binary function with which takes elements of $X$ to an element of $X$ itself.
  
 === Reference === === Reference ===
Link to graph
Log In
Improvements of the human condition