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.
Articles by others on the same topic
There are currently no matching articles.