distributive semiring分配半环
semireal semiring半实半环
Rectangular semiring矩形半环
quotient semiring商半环
primitive semiring本原半环