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