Semiring
class
Semiring
m
zero