Assertion: universe's object | /r/CapableOf | denote the equivalence relation
Facets:
value: by ∼
type: OTHER
Source sentences:
text: Denoting the equivalence relation or congruence by ∼ {\displaystyle \sim } , the free object is then the collection of equivalence classes of words.