Setoid
In mathematics, a setoid (also called an E-set) is a set (or type) equipped with an equivalence relation.
Read more about Setoid.
In mathematics, a setoid (also called an E-set) is a set (or type) equipped with an equivalence relation.
Read more about Setoid.