setoid

setoid

English Noun
Ad

Definition

A set together with an equivalence relation.

Etymology

From set + -oid.

Ad