Let $X$ be a D11: Set such that

(i)	$E \subseteq X$

The inclusion map from $E$ to $X$ is the D18: Map \begin{equation} E \to X, \quad x \mapsto x \end{equation}