Assertion: equivalence class | /r/HasProperty | equivalent
Facets:
Source sentences:
text: These equivalence classes are constructed so that elements a and b belong to the same equivalence class if and only if they are equivalent.