Addition Properties Of Equalities Definition