Increment, decrement, andtest for equality is sufficient mathematically, but we want programs thatterminate in our lifetimes. </pedantry>
Only for BigInts you need those three. For ints decrement is not needed. And for most other data types increment/decrement is not sufficient, e.g. for reals or any kind of vectors/matrices.
