inhabited set

in constructive mathematics, a set in which an element exists

Categories: