There exists elementary topos E whose Sub(1) is not complete? – mathoverflow.net

Given an elementary topos $\mathcal{E}$ for an object $X$, we have the Heyting algebra of its subobjects $Sub(X)$. If $\mathcal{E}$ is a Grothendieck topos, then $Sub(X)$ is complete. In any case (in ...