Let $X$ be a D11: Set.
A D18: Map $f : Y \to Z$ is an enclosed binary operation on $X$ if and only if

(1)	$Y = X \times X$
(2)	$Z \subseteq X$