Assertion: set | /r/HasProperty | equipped with partition
Facets:
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.