 Exponential ideal

A full subcategory $\mathcal{D}$ of a Cartesian closed category $\mathcal{C}$ is an exponential ideal when $B^A$ belongs to $\mathcal{D}$ for every $B\in \mathcal{D}$ and every $A\in \mathcal{C}$.