Assertion: class's function | /r/HasProperty | a morphism of sets
Facets:
Source sentences:
text: Such a function is a morphism of sets equipped with an equivalence relation.