Definition:Algebraic Structure with One Operation