Two-valued topos ($\mathrm{Sub}(1)=\{0,1\}$)

A nondegenerate elementary topos is two-valued when its terminal object has exactly the empty and whole subobjects. This is a global-truth property, distinct from being a Boolean topos, which requires complements for all subobjects of all objects.