inhabited set (Q6033616)
in constructive mathematics, a set in which an element exists
Language:
other details
description in constructive mathematics, a set in which an element exists

External Links