EGAVE

setoid

About 0.00 uses per million words.

Meaning

  1. noun A set together with an equivalence relation.

Similar words

equivalence class equivalence relation relation semigroupoid quotient set sets poset semigroup hom-set set theory

Save “setoid” to learn later