Assertion: class's element | /r/HasAspect | a notion of equivalence
Facets:
Source sentences:
text: In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation) defined on them, then one may naturally split the set S into equivalence classes.