[[!redirects decidable sets]] ## Contents ## * table of contents {:toc} ## Definition ## A [[decidable set]] $(T, (-)\equiv(-): T \times T \to \mathbb{2})$ has **decidable subsets** if the function type $T \to \mathbb{2}$ is a [[decidable set]]. ## Examples ## * All finite types are decidable sets and have decidable subsets. ## See also ## * [[booleans]] * [[decidable set]] category: not redirected to nlab yet