Two-valued topos
= Two-valued topos
{title2=$\operatorname{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.