Setoid A Setoid is a Set X equipped with an Equivalence Relation, ~. (X, ~) See also Groupoid. Share this: Click to share on X (Opens in new window) X Like Loading...
Rob Sterling 