Exponential ideal
= 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$.
= 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$.