setoid

Noun

 * 1)  A set together with an equivalence relation.