Inclusion maps tend to be homomorphisms of algebraic structures;

• 内含映射倾向于代数结构的同态；