setoid

Hierarchy: 
Description: 
{{set theory}} A set together with an equivalence relation.
Ngram: 
Ngram Text: 
setoid
Source: 
Wiktionary
Issue: 
0
Wiktionary tag: 
Ngram Count: 
1