Implication Details

Assumptions: elementary topos

Conclusions: cartesian closed, finitely complete, subobject classifier

This is an equivalence.

Reason: This holds by definition.