Algebraic Concepts (6.13, 7.12)