Assertion: surjective function | /r/HasProperty | homomorphism
Facets:
value: between two algebraic structures
type: LOCATION
Source sentences:
text: An injective function which is a homomorphism between two algebraic structures is an embedding.