Definition:Commutative Algebraic Structure