Assertion: class's element | /r/PartOf | only one equivalence class
Facets:
Source sentences:
text: Therefore, the set of all equivalence classes of X forms a partition of X: every element of X belongs to one and only one equivalence class.