[see also: aim, intend]
Condition (a) is so designed that $a(x)=0$.
The definition of generator is designed to make the proof above work for $M=Z$.
Go to the list of words starting with: a b c d e f g h i j k l m n o p q r s t u v w y z