setoid
setoid · setoids
A set together with an equivalence relationA set together with an equivalence relation.
Значення
значень: 1A set together with an equivalence relation.
Походження
Ancient Greek -ο- (-o-)der.Ancient Greek -ο- (-o-)der.
Wiktionary, CC BY-SA 4.0 · source