This is an old revision of the document!
Binary operation
Set
| context | $X$ |
| definiendum | $ *\in \text{it}(X) $ |
| postulate | $ *:X\times X\to X $ |
Discussion
This is a binary function with which takes elements of $X$ to an element of $X$ itself.
Also ee Reference for classifications of binary operations, like “commutative”, “associative”, etc.
Reference
Wikipedia: Binary operation
Subset of
Equivalent to
