a*b=|a-b|
Is * binary on z
's image