Aim In order to prove a semiring whose additive reduct is a semilattice and multiplicative reduct is a inverse semigroup to be a distributive lattice.

• 摘要目的求证加法导出是半格、乘法导出是逆半群的半环成为分配格的充要条件。