MathGloss

A binary operation \cdot on a set AA is a function A×AAA\times A\to A.

Wikidata ID: Q164307