model of Z



Z=set of signed integers
what about to allow existence of +0 and -0?
.