A well-accepted "definition" of even is:
For an integer x, if x mod 2 = 0, then x is even.
mod 2 refers to the divisibility of x by 2. It is a fancy way of taking the "remainder" from elementary division.
Dividing 0 by 2, we can clearly see that 0 mod 2 is, in fact, 0. Therefore, we...