Algebra

class Abelian a

class Idempotent a

class Group a

(+)

(-)

(*)

(/)