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.