inhabited set (Q6033616)
Jump to navigation
Jump to search
in constructive mathematics, a set in which an element exists
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | inhabited set |
in constructive mathematics, a set in which an element exists |
Statements
0 references
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Inhabited set