Inhabited set
= Inhabited set
{wiki=Inhabited_set}
An **inhabited set** is a concept primarily used in type theory and computer science, particularly in the context of programming languages and type systems. A set is said to be inhabited if it contains at least one element.