Definition:Algebraic Structure with Two Operations