Properties Of Direct Sum Definition Math