Assertion: equivalence class | /r/CapableOf | form a partition of s.
Facets:
Source sentences:
text: It may be proven from the defining properties of equivalence relations that the equivalence classes form a partition of S.