This is an old revision of the document!
Binary operation
Set
| context | $X$ |
| definiendum | $*\in$ it |
| postulate | $*:X\times X\to X$ |
Elaboration
This is a binary function with which takes elements of $X$ to an element of $X$ itself.
Reference
Wikipedia: Binary operation
Subset of
Equivalent to
