has operator

mathematical operator associated with this algebraic structure