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

Subset of

Binary function

Equivalent to

Magma