setoid (Q7456758)
Jump to navigation
Jump to search
a set equipped with an equivalence relation in constructive mathematics
- E-set
- Bishop set
- extensional set
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | setoid |
a set equipped with an equivalence relation in constructive mathematics |
|
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Setoid