setoid

名词 n.

英文释义

名词 n.
  1. A set together with an equivalence relation.

词形变化

setoids plural

词源

Etymology tree
English set
Ancient Greek -ο- (-o-)der.
Latin -o-
Proto-Indo-European *weyd-
Proto-Indo-European *-os
Proto-Indo-European *wéydos
Proto-Hellenic *wéidos
Ancient Greek εἶδος (eîdos)
Proto-Indo-European *-os
Proto-Indo-European *-ēs
Ancient Greek -ης (-ēs)
Ancient Greek -ειδής (-eidḗs)
Latin -oīdēslbor.
English -oid
English setoid
From set + -oid.
0 次浏览 数据来源: Wiktionary