A function between left modules is a [module homomorphism](/page/Module%20Homomorphism) exactly when it satisfies the two-term linearity identity for all pairs of inputs and scalars. This gives a convenient way to check that a map preserves both addition and scalar multiplication at the same time.