Let $X$ be a D11: Set.
A D18: Map $f : Y \to Z$ is a binary operation on $X$ if and only if \begin{equation} Y = X \times X \end{equation}