English Noun wikipedia setoid (plural setoids)
#settheory A set together with an equivalence relation.