Question: using the definition of nonnegative and nonpositive integers equivalence classes...
Question details

Using the definition of nonnegative and nonpositive integers (equivalence classes), prove that the product of two nonnegative integers or the product of two nonpositive integers is nonnegative.