## Binary operation

### Set

 context $X$ definition it $\equiv X\times X\to X$

#### Discussion

Also called “law of composition”.

It's is a binary function with which takes elements of $X$ to an element of $X$ itself.

#### Reference

Wikipedia: Binary operation