algebraic law of composition