Algebraic Abstraction, Law of