Assertion: set | /r/Synonym | setoid
Facets:
value: in type theory
type: OTHER
value: sometimes
type: TEMPORAL
Source sentences:
text: A set equipped with an equivalence relation or a partition is sometimes called a setoid, typically in type theory and proof theory.