setoid (set + -oid; resembling)
A set together with an equivalence relation