Assertion: equivalence class | /r/HasProperty | the set
Facets:
value: formally
type: MANNER
value: on s
type: LOCATION
value: given an equivalence relation
type: OTHER
value: given a set s
type: OTHER
Source sentences:
text: Formally, given a set S and an equivalence relation ~ on S, the equivalence class of an element a in S is the set