zero property of addition
Definition