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