Properties of Identity, Inverses, and Zero

Read this section to see this definition written formally.