Algebra

class Semigroup a

class Monoid a

class Group a

(+)

(-)

(*)

(/)