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