Assertion: substitution | /r/HasProperty | defined
Facets:
Source sentences:
text: In order for substitution to be defined, one needs an algebraic structure with an appropriate universal property, that asserts the existence of unique homomorphisms that send indeterminates to specific values; the substitution then amounts to finding the image under such a homomorphism.