Setoid
WiktionaryText

Noun



setoid
  1. A set together with an equivalence relation.
 
x
OK