This is really about Properties or Axioms.....
One of my homework assignments asks me to write a convincing argument and tell why it is not necessary to state a subraction propert