Inclusion maps tend to be homomorphisms of algebraic structures; more precisely, given a sub-structure closed under some operations, the inclusion map will be a homomorphism for tautological reasons, given the very definition by restriction of what one checks.
Inclusion maps tend to be homomorphisms of algebraic structures. The inclusion map will be a homomorphism for tautological reasons. This is given a sub-structure closed under some operations. This is more precisely. Tautological reasons are given the very definition by restriction of what one checks.